Proof Methods for Modal and Intuitionistic Logics, volume 169 of Synthese Library (1983)

by M Fitting
Venue:D. Reidel Publishing Co