-
171Review: R. Montague, R. L. Vaught, A Note on Theories with Selectors (review)Journal of Symbolic Logic 25 (2): 177-178. 1960.
-
79Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71 (review)Journal of Symbolic Logic 34 (2): 307-307. 1969.
-
181Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X (review)Philosophia Mathematica 13 (2): 228-230. 2005.
-
47Quelques Pseudo-Paradoxes de la "Calculabilité Effective."Journal of Symbolic Logic 33 (3): 471-472. 1968.
-
62A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 , pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj . Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236 (review)Journal of Symbolic Logic 32 (4): 531-532. 1968.
-
3A Semantic Proof Of The Eliminability Of DescriptionsMathematical Logic Quarterly 6 (7-14): 199-200. 1960.
-
75Uspé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.
-
93Scott 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.
-
43On non-standard models for number theoryIn Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics, Magnes Press. pp. 259--268. 1961.
-
128Graham Oppy. Philosophical perspectives on infinityPhilosophia Mathematica 15 (3): 397-399. 2007.The author tells us that this book was originally intended to be part of a larger work, with the provisional title God and Infinity, but that he opted instead for a separate and independent treatment of the notion of infinity in philosophy and related areas. The original purpose is very well-hidden, showing itself clearly only in the Preface and a few other places. The book begins with a chapter describing some known alleged difficulties having to do with the infinitely large and infinitely smal…Read more
-
162A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310Journal of Symbolic Logic 35 (1): 138-138. 1970.
-
34The Axiom of Fundierung and the Axiom of ChoiceArchive for Mathematical Logic 4 (3-4): 65. 1958.
-
3Roman Murawski, recursive functions and metamathematics: Problems of completeness and decidabilityPhilosophia Mathematica 8 (3): 345-346. 2000.
-
79Bernays Paul. Axiomatic set theory. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1958, VIII + 226 pp.Fraenkel A. A.. Part I. Historical introduction. Therein, pp. 3–35 (review)Journal of Symbolic Logic 24 (3): 224-225. 1959.
-
79On some recent criticism of Church's ThesisNotre Dame Journal of Formal Logic 4 (3): 201-205. 1963.
-
70Wang 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–351Journal of Symbolic Logic 30 (2): 244-244. 1965.
-
108Some proofs of independence in axiomatic set theoryJournal of Symbolic Logic 21 (3): 291-303. 1956.
-
83
-
98Halpern J. D.. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 , pp. 57–66Journal of Symbolic Logic 32 (2): 273-274. 1967.
-
62Meeting of the Association for Symbolic Logic, New York, 1974Journal of Symbolic Logic 40 (2): 299-304. 1975.
-
72Theory and Problems of Boolean Algebra and Switching CircuitsJournal of Symbolic Logic 39 (3): 615-615. 1974.
-
Review: Paul Bernays, Axiomatic Set Theory (review)Journal of Symbolic Logic 24 (3): 224-225. 1959.
-
128