Semantical analysis of intuitionistic logic I, Formal Systems and Recursive (1963)

by Saul A Kripke
Venue:Functions, Proceedings of the Eighth Logic Colloquium