Labelled sequent calculi for indexed modal logics
Riferimento: 9788849156584
Editore: CLUEB
Autore: Eurgenio Orlandelli Collana: Heuresis. Linguaggio, logica, scienza In commercio dal: 2019 Pagine: 162 p., Libro in brossura EAN: 9788849156584
Autore: Eurgenio Orlandelli Collana: Heuresis. Linguaggio, logica, scienza In commercio dal: 2019 Pagine: 162 p., Libro in brossura EAN: 9788849156584
18,00 €