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

Proof Methods for Modal and Intuitionistic Logics

Forfatter:
innbundet, 1983
Engelsk
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Forfatter
M. Fitting
Opplag
1983 ed.
ISBN
9789027715739
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
30.4.1983
Antall sider
555