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

Proof Methods for Modal and Intuitionistic Logics

Kirjailija:
sidottu, 1983
englanti
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
Kirjailija
M. Fitting
Painos
1983 ed.
ISBN
9789027715739
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
30.4.1983
Sivumäärä
555