1. G. Kreisel, unpublished appendix to the paper inInfinitistic methods, Warsaw 1959.
2. A. Tarski,Logic, semantics, metamathematics, Oxford 1956.
3. S. Kripke,Semantic method in intuitionistic logic, inFormal systems and recursive functions, Crossely-Dummett ed. pp. 92–130.
4. D. Gabbay,Completeness properties of HPC with respect to recursive models,Journal of Symbolic Logic, to appear.
5. T. Medvedev,Interpretations of logical formulae by means of finite problems,Doklady Akademii Nauk SSSR, Vol. 7 (1966), pp. 857–860.