Title: Proof methods for modal and intuitionistic logics
First published: 1983
Subjects: Intuitionistic mathematics, Modality (Logic), Proof theory, Logic, Logic, symbolic and mathematical
LC classification: QA9.54 .F57 1983