Proof methods for modal and intuitionistic logics /

Bibliographic Details

Main Author:	Fitting, Melvin, 1942-
Format:	Book
Language:	English
Published:	Dordrecht [Holland] ; Boston : D. Reidel ; [1983]
Series:	Synthese library ; v. 169.
Subjects:	Proof theory. Modality (Logic) Intuitionistic mathematics.