-
3A Semantic Proof Of The Eliminability Of DescriptionsMathematical Logic Quarterly 6 (7-14): 199-200. 1960.
-
76Uspénskij V. A.. Lékcii o vyčislimyh funkciáh . Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow 1960, 492 pp (review)Journal of Symbolic Logic 31 (2): 263-264. 1966.
-
96Scott Dana. On constructing models for arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 235–255Journal of Symbolic Logic 38 (2): 336-337. 1973.
