-
143Introduction to mathematical logicVan Nostrand. 1964.The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
-
69Second thoughts about church's thesis and mathematical proofsJournal of Philosophy 87 (5): 225-233. 1990.
-
62
-
59Selmer 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.
-
47Theory and Problems of Boolean Algebra and Switching CircuitsJournal of Symbolic Logic 39 (3): 615-615. 1974.
-
41A Semantic Proof of the Eliminability of DescriptionsZeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14): 199-200. 1960.
-
41Logic, Methodology, and Philosophy of Science. Three ReviewsLogic, Methodology, and Philosophy of ScienceJournal of Philosophy 61 (2): 76. 1964.
-
39Mathematical Intuitionism. Introduction to Proof TheoryJournal of Symbolic Logic 55 (3): 1308-1309. 1990.
-
36Graham 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
-
33Yu. L. Ershov and E. A. Palyutin. Mathematical logic. Revised English translation by Vladimir Shokurov of the preceding. Mir Publishers, Moscow1984, 303 pp (review)Journal of Symbolic Logic 51 (3): 829-829. 1986.
-
31Halpern J. D.. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 , pp. 57–66 (review)Journal of Symbolic Logic 32 (2): 273-274. 1967.
-
29Second Thoughts about Church's Thesis and Mathematical ProofsJournal of Philosophy 87 (5): 225-233. 1990.
-
27J. W. Swanson. A reduction theorem for normal algorithms. The journal of symbolic logic, vol. 31 , pp. 86–97Journal of Symbolic Logic 32 (1): 123. 1967.
-
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.
-
26Some proofs of independence in axiomatic set theoryJournal of Symbolic Logic 21 (3): 291-303. 1956.
-
26Anita 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.
-
25The Incomplete Universe: Totality, Knowledge, and TruthPhilosophical Quarterly 44 (176): 409. 1994.
-
24Annual meeting of the association for symbolic logicJournal of Symbolic Logic 31 (4): 682-696. 1966.
-
24Scott 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–255 (review)Journal of Symbolic Logic 38 (2): 336-337. 1973.
-
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.
-
21On 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.
-
19Meeting of the Association for Symbolic Logic, New York, 1974Journal of Symbolic Logic 40 (2): 299-304. 1975.