-
117First-order logicSpringer Verlag. 1968.This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...
-
34Theories with Effectively Inseparable NucleiMathematical Logic Quarterly 6 (15-22): 219-224. 1960.
-
8An Unfortunate DualistIn David J. Chalmers (ed.), Philosophy of Mind: Classical and Contemporary Readings, Oup Usa. 2002.
-
31What is the Name of this Book?: The Riddle of Dracula and Other Logical PuzzlesPhilosophical Review 88 (3): 496. 1979.
-
29Quine Willard Van Orman. Methods of logic. Revised edition, Henry Holt and Company, Inc., New York 1959, xx + 272 pp (review)Journal of Symbolic Logic 24 (3): 219-220. 1959.
-
What Is the Name of This Book? The Riddle of Dracula and Other Logical PuzzlesCritica 13 (38): 126-130. 1981.
-
55Diagonalization and self-referenceClarendon Press. 1994.This book presents a systematic, unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.
-
18To Mock a Mockingbird: And Other Logic PuzzlesOxford University Press. 1985.In this entertaining and challenging collection of logic puzzles, Raymond Smullyan-author of Forever Undecided-continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time.
-
15A Generalization of Intuitionistic and Modal LogicsJournal of Symbolic Logic 42 (2): 316-317. 1977.
-
72Some new double induction and superinduction principlesStudia Logica 49 (1). 1990.Some new double analogues of induction and transfinite recursion are given which yields a relatively simple proof of a result of Robert Cowen, [2] which in turn is a strengthening of an earlier result of Smullyan [1], which in turn gives a unified approach to Zorn's Lemma, the transfinite recursion theorem and certain results about ordinal numbers.
-
44Undecidability and recursive inseparabilityZeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11): 143-147. 1958.
-
4Five Thousand B.C. and Other Philosophical FantasiesMacmillan. 1983.A collection of paradoxes, dialogues, problems, and essays discusses aspects of philosophy, including the natures of reality, truth, existence, and death.
-
6This Book Needs No Title: A Budget of Living ParadoxesPrentice-Hall. 1980.Eighty paradoxes, logical lobyrinths, and intriguing enigmas progress from light fables and fancies to challenging Zen exercises and a novella and probe the timeless questions of philosophy and life.
-
20Reviews. Evert W. Beth. The foundations of mathematics, A study in the philosophy of science. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, XXVI + 741 pp (review)Journal of Symbolic Logic 27 (1): 73-75. 1962.
-
1Review: J. R. Shoenfield, Undecidable and Creative Theories (review)Journal of Symbolic Logic 32 (1): 123-123. 1967.
-
14An Isomorphism Related to Gödel's Fundamental OperationsLogic Journal of the IGPL 12 (6): 439-445. 2004.
-
34Set theory and the continuum problemClarendon Press. 1996.A lucid, elegant, and complete survey of set theory, this three-part treatment explores axiomatic set theory, the consistency of the continuum hypothesis, and forcing and independence results. 1996 edition.
-
17Mind Tools. The Five Levels of Mathematical RealityJournal of Symbolic Logic 53 (4): 1254. 1988.
-
20Forever undecided: a puzzle guide to GödelOxford University Press. 1987.Collects a variety of mathematics and logic puzzles, some based on the theorems of the mathematician Kurt Godel