-
20J. R. Shoenfield. Undecidable and creative theories. Fundamenta mathematicae, vol. 49 no. 2 , pp. 171–179Journal of Symbolic Logic 32 (1): 123. 1967.
-
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
-
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.
-
17Mind Tools. The Five Levels of Mathematical RealityJournal of Symbolic Logic 53 (4): 1254. 1988.
-
15A Generalization of Intuitionistic and Modal LogicsJournal of Symbolic Logic 42 (2): 316-317. 1977.
-
14An Isomorphism Related to Gödel's Fundamental OperationsLogic Journal of the IGPL 12 (6): 439-445. 2004.
-
13Vladeta Vučković. Mathematics of incompleteness and undecidability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 123–150 (review)Journal of Symbolic Logic 37 (1): 195-196. 1972.
-
12A beginner's guide to mathematical logicDover Publications. 2014.Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompletenes…Read more
-
11An entertaining series of logic problems and puzzles of increasing difficulty, and all relating important mathematical and logical concepts, includes mind-benders, paradoxes, metapuzzles, number exercises, and a mathematical novel.
-
10Theory of Formal SystemsPrinceton University Press. 1961.This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
-
10Exact Separation of Recursively Enumerable Sets Within TheoriesJournal of Symbolic Logic 25 (4): 362-362. 1960.
-
8An Unfortunate DualistIn David J. Chalmers (ed.), Philosophy of Mind: Classical and Contemporary Readings, Oup Usa. 2002.
-
8A beginner's further guide to mathematical logicWorld Scientific. 2017.More on propositional and first-order logic -- More on propositional logic -- More on first-order logic -- Recursion theory and metamathematics -- Some special topics -- Elementary formal systems and recursive enumerability -- Some recursion theory -- Doubling up -- Metamathematical applications -- Elements of combinatory logic -- Beginning combinatory logic -- Combinatorics galore -- Sages, oracles, and doublets -- Complete and partial systems -- Combinators, recursion, and the undecidable -- W…Read more
-
8Gödel's Incompleteness TheoremsIn Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell. 2017.At the turn of the century, there appeared two comprehensive mathematical systems, which were indeed so vast that it was taken for granted that all mathematics could be decided on the basis of them. However, in 1931, Kurt Gödel surprised the entire mathematical world with his epoch‐making paper which begins with the following startling words: The development of mathematics in the direction of greater precision has led to large areas of it being formalized, so that proofs can be carried out accor…Read more
-
7Puzzles of logic involve knights, knaves, gods, demons, and mortals, and Inspector Craig conducts a summer-long adventure in combinatory logic, basic to computer science and artificial intelligence
-
6An epistemological nightmareIn Douglas R. Hofstadter & Daniel C. Dennett (eds.), The Mind's I, Basic Books. 1981.
-
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.
-
5Five 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.
-
1Review: J. R. Shoenfield, Undecidable and Creative Theories (review)Journal of Symbolic Logic 32 (1): 123-123. 1967.
-
What Is the Name of This Book? The Riddle of Dracula and Other Logical PuzzlesCritica 13 (38): 126-130. 1981.