Gentzen Calculi for Modal Propositional Logic - Trends in Logic - Francesca Poggiolesi - Bücher - Springer - 9789048196692 - 2. Dezember 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Gentzen Calculi for Modal Propositional Logic - Trends in Logic 2011 edition

Francesca Poggiolesi

Preis
Fr. 148,99

Bestellware

Lieferdatum: ca. 28. Okt - 6. Nov

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Gentzen Calculi for Modal Propositional Logic - Trends in Logic 2011 edition

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 2. Dezember 2010
ISBN13 9789048196692
Verlag Springer
Seitenanzahl 224
Maße 247 × 181 × 21 mm   ·   508 g
Sprache Englisch  

Alle Titel von Francesca Poggiolesi ansehen ( u. a. Gebundenes Buch und Taschenbuch )