Proof methods for modal and intuitionistic logics (1983)

by M C Fitting