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

Proof Methods for Modal and Intuitionistic Logics

Författare:
inbunden, 1983
Engelska
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
1983 ed.
ISBN
9789027715739
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
1983-04-30
Sidor
555