Recomienda este artículo a tus amigos:
Gentzen Calculi for Modal Propositional Logic - Trends in Logic Francesca Poggiolesi 2011 edition
Gentzen Calculi for Modal Propositional Logic - Trends in Logic
Francesca Poggiolesi
The book is about Gentzen calculi for (the main systems of) modal logic. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author.
236 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 2 de diciembre de 2010 |
| ISBN13 | 9789048196692 |
| Editores | Springer |
| Páginas | 224 |
| Dimensiones | 247 × 181 × 21 mm · 508 g |
| Lengua | Inglés |