1. New forms of realizability and Markov's rule;Dragalin;Soviet Math. Dokl.,1980
2. Classically and intuitionistically provably recursive functions;Friedman,1978
3. C. Smoryński, Applications of Kripke models, in: [7]
4. C. Smoryński, Consistency and related metamathematical properties, Univ. of Amsterdam Tech. Report 75–02, 1975
5. C. Smoryński, Nonstandard Models of Arithmetic, Lecture Notes, Utrecht, 1980