Labelled sequent calculi for indexed modal logics

Riferimento: 9788849156584

Editore:
Autore: Eurgenio Orlandelli
Collana: Heuresis. Linguaggio, logica, scienza
Pagine: 162 p., Libro in brossura
EAN: 9788849156584
18,00 €
Quantità
Non disponibile