Title: Proof methods for modal and intuitionistic logics
First published: 1983
Subjects: Logic, Symbolic and mathematical, Proof theory, Symbolic and mathematical Logic
LC classification: QA9.54