Semantical investigations in Heyting's intuitionistic logic (1981)

by D M Gabbay
Venue:Synthese Library, Studies in Epistemology, Logic, Methodology and the Philosophy ofScience