Proof methods for model and intuitionistic logics
Fitting Melvin
Proof methods for model and intuitionistic logics - Dordrecht D. Reidel Pub. Co. - vii, 555p cm.
9027715734 (hbk)
244230
Textbook
PHILOSOPHY
R14, M3
Proof methods for model and intuitionistic logics - Dordrecht D. Reidel Pub. Co. - vii, 555p cm.
9027715734 (hbk)
244230
Textbook
PHILOSOPHY
R14, M3
