TY  - BOOK
AU  - Fitting,Melvin
TI  - Proof methods for modal and intuitionistic logics
SN  - 9027715734 :
U1  - 164 
PY  - 1983///
CY  - Dordrecht
PB  - D. Reidel Pub.
KW  - Proof theory
KW  - Modality (Logic)
KW  - Intuitionistic mathematics
N1  - Includes bibliographical references and index
ER  -