TY  - BOOK
AU  - Fitting Melvin
TI  - Proof methods for model and intuitionistic logics
SN  - 9027715734 (hbk)
U1  - R14, M3 
CY  - Dordrecht
PB  - D. Reidel Pub. Co.    
KW  - PHILOSOPHY
ER  -