Proof Methods for Modal and Intuitionistic Logics (1983)

by Melvin Fitting
Venue:D. Reidel Publishing Company