Gentzen Calculi for Modal Propositional Logic - Trends in Logic - Francesca Poggiolesi - Böcker - Springer - 9789048196692 - 2 december 2010
Om omslag och titel inte matchar är det titeln som gäller

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

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