-
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
-
176Anita Burdman Feferman and Solomon Feferman. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press, 2004. Pp. vi + 435. ISBN 0-521-80240-7 (review)Philosophia Mathematica 13 (2): 231-232. 2005.
-
98Annual meeting of the association for symbolic logicJournal of Symbolic Logic 31 (4): 682-696. 1966.
-
40Strongly Related Models and Recursively Complete AlgebrasJournal of Symbolic Logic 31 (4): 649-650. 1966.
-
46Philosophical Problems of Many-Valued Logic (review)Journal of Philosophy 63 (15): 445-446. 1966.
-
98Lé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–465Journal of Symbolic Logic 36 (4): 682-682. 1971.
-
72A Semantic Proof of the Eliminability of DescriptionsZeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14): 199-200. 1960.
-
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.
-
63A. 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.