Siirry suoraan sisältöön
Proof Methods for Modal and Intuitionistic Logics
Tallenna

Proof Methods for Modal and Intuitionistic Logics

The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Kirjailija
M. Fitting
Painos
Softcover reprint of the original 1st ed. 1983
ISBN
9789048183814
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
25.12.2010
Kustantaja
Springer
Sivumäärä
555