Semantical analysis of intuitionistic logic I (1965)

by S A Kripke
Venue:Formal Systems and Recursive Functions