![Gentzen Calculi for Modal Propositional Logic - Trends in Logic - Francesca Poggiolesi - Kirjat - Springer - 9789400734425 - sunnuntai 27. tammikuuta 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)
Vinkkaa tuotetta kavereillesi:
Gentzen Calculi for Modal Propositional Logic - Trends in Logic 2011 edition
Francesca Poggiolesi
Hinta
€ 178,49
Tilattu etävarastosta
Arvioitu toimitus ma 29. heinä - to 8. elo
Lisää iMusic-toivelistallesi
Löytyy myös muodossa:
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
Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | sunnuntai 27. tammikuuta 2013 |
ISBN13 | 9789400734425 |
Tuottaja | Springer |
Sivujen määrä | 224 |
Mitta | 155 × 235 × 12 mm · 335 g |
Kieli | English |
Katso kaikki joka sisältää Francesca Poggiolesi ( Esim. Hardcover Book Ja Paperback Book )