Review of `Melvin Fitting, Proof Methods for Modal and Intuitionistic (1983)

by R A Bull
Venue:Logics, Synthese Library