Labelled sequent calculi for indexed modal logics
| Titolo | Labelled sequent calculi for indexed modal logics |
| Autore | Eurgenio Orlandelli |
| Argomento | Matematica e scienze Scienze: argomenti d'interesse generale |
| Collana | Heuresis. Linguaggio, logica, scienza, 18 |
| Editore | CLUEB |
| Formato |
Libro: Libro in brossura |
| Lingua | inglese |
| Pagine | 162 |
| Pubblicazione | 11/2019 |
| ISBN | 9788849156584 |