Gå direkte til innholdet
Proof Methods for Modal and Intuitionistic Logics
Spar

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.
Forfatter
M. Fitting
Opplag
Softcover reprint of the original 1st ed. 1983
ISBN
9789048183814
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
25.12.2010
Forlag
Springer
Antall sider
555