Proof methods for modal and intuitionistic logics (1983)

by M Fitting
Venue:D. Reidel Publishing Co