Applications of Kripke models (1973)

by C A Smorynski
Venue:in Mathematical Investigation of Intuitionstic Arithmetic and Analysis, ed. A.S. Troelstra, Lecture Notes in Math