![Gentzen Calculi for Modal Propositional Logic - Trends in Logic - Francesca Poggiolesi - Böcker - Springer - 9789048196692 - 2 december 2010](https://imusic.b-cdn.net/images/item/original/692/9789048196692.jpg?francesca-poggiolesi-2010-gentzen-calculi-for-modal-propositional-logic-trends-in-logic-inbunden-bok&class=scaled&v=1608689111)
Tipsa dina vänner om produkten:
Gentzen Calculi for Modal Propositional Logic - Trends in Logic 2011 edition
Francesca Poggiolesi
Pris
SEK 1.909
Beställningsvara
Förväntad leverans 30 jul - 9 aug
Lägg till din iMusic-önskelista
Finns även som:
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 | Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag) |
Releasedatum | 2 december 2010 |
ISBN13 | 9789048196692 |
Utgivare | Springer |
Antal sidor | 224 |
Mått | 247 × 181 × 21 mm · 508 g |
Språk | Engelska |
Se alt med Francesca Poggiolesi ( t.ex. Inbunden Bok och Pocketbok )