Applications of Kripke Models (1973)

by C Smorynski
Venue:in Metamathematical Investigations in Intuitionisitc Arithmetic and Analysis, Lecture Note in Mathematics 344