-
7Review: M. D. Gladstone, Finite Models for Inequalities (review)Journal of Symbolic Logic 33 (3): 479-479. 1968.
-
11Review: A. N. Kolmogorov, V. A. Uspenskij, On the Definition of an Algorithm (review)Journal of Symbolic Logic 38 (4): 655-655. 1973.
-
27Polákov É. A.. Algébry rékursivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 1 , pp. 41–56.Polákov É. A.. O nékotoryh svojstvah algébr rékwsivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 3 , pp. 39–57 (review)Journal of Symbolic Logic 37 (2): 408-409. 1972.
-
27A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310 (review)Journal of Symbolic Logic 35 (1): 138-138. 1970.
-
19Lévy Azriel. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 463–465 (review)Journal of Symbolic Logic 36 (4): 682-682. 1971.
-
5Review: R. Montague, R. L. Vaught, A Note on Theories with Selectors (review)Journal of Symbolic Logic 25 (2): 177-178. 1960.
-
3A Semantic Proof Of The Eliminability Of DescriptionsMathematical Logic Quarterly 6 (7-14): 199-200. 1960.
-
9Review: Hao Wang, Process and Existence in Mathematics (review)Journal of Symbolic Logic 30 (2): 244-244. 1965.
-
23On some recent criticism of Church's ThesisNotre Dame Journal of Formal Logic 4 (3): 201-205. 1963.
-
22Review: Azriel Levy, On Models of Set Theory with Urelements (review)Journal of Symbolic Logic 36 (4): 682-682. 1971.
-
13Wang Hao. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351 (review)Journal of Symbolic Logic 30 (2): 244-244. 1965.
-
26Some proofs of independence in axiomatic set theoryJournal of Symbolic Logic 21 (3): 291-303. 1956.
-
Roman Murawski, recursive functions and metamathematics: Problems of completeness and decidabilityPhilosophia Mathematica 8 (3): 345-346. 2000.
-
19Meeting of the Association for Symbolic Logic, New York, 1974Journal of Symbolic Logic 40 (2): 299-304. 1975.
-
2Review: B. A. Trahtenbrot, On Frequential Computation of Functions (review)Journal of Symbolic Logic 39 (3): 606-606. 1974.
-
16Philosophical Problems of Many-Valued Logic (review)Journal of Philosophy 63 (15): 445-446. 1966.