0

Gentzen Calculi for Modal Propositional Logic

Trends in Logic 32

Erschienen am 01.12.2013
CHF 178,00
(inkl. MwSt.)

Noch nicht lieferbar

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9789400734425
Sprache: Englisch
Auflage: 1. Auflage

Beschreibung

InhaltsangabePartI An overview of the sequent calcus.- PartII, Sequent caluli for modal logic.- Part III, Tree-hyperseqent calculi.- Reference.- Symbols and notations.- Index.

Weitere Artikel vom Autor "Poggiolesi, Francesca"

Alle Artikel anzeigen