TY  - BOOK
AU  - Fitting,Melvin Chris
TI  - Proof methods for modal and intuitionistic logics
PY  - 1983///
CY  - Dordrecht
PB  - D. Reidel Publishing Company
KW  - Proof theory
KW  - Modality (Logic)
KW  - Intuitionistic mathematics
N1  - Includes index and bibliography: p. 526-539
ER  -