Proof methods for model and intuitionistic logics - Fitting Melvin (Dordrecht D. Reidel Pub. Co.)
Keywords: PHILOSOPHY