![Gentzen Calculi for Modal Propositional Logic - Trends in Logic - Francesca Poggiolesi - Livros - Springer - 9789400734425 - 27 de janeiro de 2013](https://imusic.b-cdn.net/images/item/original/425/9789400734425.jpg?francesca-poggiolesi-2013-gentzen-calculi-for-modal-propositional-logic-trends-in-logic-paperback-book&class=scaled&v=1612799702)
Conte aos seus amigos sobre este item:
Gentzen Calculi for Modal Propositional Logic - Trends in Logic 2011 edition
Francesca Poggiolesi
Gentzen Calculi for Modal Propositional Logic - Trends in Logic 2011 edition
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 27 de janeiro de 2013 |
ISBN13 | 9789400734425 |
Editoras | Springer |
Páginas | 224 |
Dimensões | 155 × 235 × 12 mm · 335 g |
Idioma | English |
Ver tudo de Francesca Poggiolesi ( por exemplo Hardcover Book e Paperback Book )