Gå direkt till innehållet
Proof Methods for Modal and Intuitionistic Logics
Spara

Proof Methods for Modal and Intuitionistic Logics

Lägsta pris på PriceRunner
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Författare
M. Fitting
Upplaga
Softcover reprint of the original 1st ed. 1983
ISBN
9789048183814
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2010-12-25
Förlag
Springer
Sidor
555