Semantical analysis of intuitionistic logics (1963)

by S Kripke
Venue:edits.), Formal Systems and Recursive Functions