Proof methods for modal and intuitionistic logics
By: Melvin Fitting.
Series: Synthese library -- v.169
Publisher: Reidel
Published: 1983
Place of publication: Dordrecht; Lancaster
Language: eng
Number of pages: 555
Subjects: Proof theory.; Logic, Symbolic and mathematical.
Notes: Bibliography, p526-539. - Includes index.