RT Book
T1 Proof methods for modal and intuitionistic logics
T2 Synthese <Dordrecht> / Library
JF Synthese <Dordrecht> / Library
A1 Fitting, Melvin 1942-
LA English
PP Dordrecht u.a.
PB Reidel
YR 1983
UL https://ixtheo.de/Record/013992511
NO Literaturverz. S. 526 - 539
NO Hier auch später erschienene, unveränderte Nachdrucke
SN 9027715734
K1 Proof theory
K1 Intuitionistic mathematics
K1 Modality (Logic)
K1 institutionistic mathematics
K1 modality (logic)