47 found
Order:
See also
  1.  53
    First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
    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 ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   128 citations  
  2.  6
    First-Order Logic.Raymond M. Smullyan - 1975 - Journal of Symbolic Logic 40 (2):237-238.
    Direct download  
     
    Export citation  
     
    Bookmark   116 citations  
  3.  16
    Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  4.  16
    Rudy Rucker. Mind Tools. The Five Levels of Mathematical Reality. Houghton Mifflin Company, Boston1987, Viii + 328 Pp. [REVIEW]Raymond M. Smullyan - 1988 - Journal of Symbolic Logic 53 (4):1254-1255.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Languages in Which Self Reference is Possible.Raymond M. Smullyan - 1957 - Journal of Symbolic Logic 22 (1):55-67.
  6.  9
    J. R. Shoenfield. Undecidable and Creative Theories. Fundamenta Mathematicae, Vol. 49 No. 2 , Pp. 171–179.Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (1):123.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    Vladeta Vučković. Mathematics of Incompleteness and Undecidability. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 13 , Pp. 123–150. [REVIEW]Raymond M. Smullyan - 1972 - Journal of Symbolic Logic 37 (1):195-196.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. The Tao is Silent.Raymond M. Smullyan - 1992 - Harpersanfrancisco.
  9. An Epistemological Nightmare.Raymond M. Smullyan - 1981 - In Douglas R. Hofstadter & Daniel C. Dennett (eds.), The Mind's I. Basic Books.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  10. An Unfortunate Dualist.Raymond M. Smullyan - 2002 - In David J. Chalmers (ed.), Philosophy of Mind: Classical and Contemporary Readings. Oup Usa.
     
    Export citation  
     
    Bookmark  
  11. 5000 B.C. And Other Philosophical Fantasies.Raymond M. Smullyan - 1983
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  12. Forever Undecided: A Puzzle Guide to Gödel.Raymond M. Smullyan - 1987 - Oxford University Press.
  13.  33
    Analytic Natural Deduction.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (2):123-139.
  14.  38
    What is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles.Raymond M. Smullyan - 1980 - Philosophical Review 89 (3):467-470.
  15.  64
    Chameleonic Languages.Raymond M. Smullyan - 1984 - Synthese 60 (2):201 - 224.
  16.  35
    Trees and Nest Structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.
  17.  42
    Analytic Cut.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):560-564.
  18. Diagonalization and Self-Reference.Raymond M. Smullyan - 1994 - Clarendon Press.
    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.
     
    Export citation  
     
    Bookmark   2 citations  
  19.  22
    Uniform Gentzen Systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):549-559.
  20.  8
    What is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles.George Boolos & Raymond M. Smullyan - 1979 - Philosophical Review 88 (3):496.
  21.  15
    Logicians Who Reason About Themselves.Raymond M. Smullyan - 1988 - Journal of Symbolic Logic 53 (2):668-669.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  27
    Finite Nest Structures and Propositional Logic.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):322-324.
  23.  11
    Review: Willard Van Orman Quine, Methods of Logic. [REVIEW]Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):219-220.
  24.  30
    Undecidability and Recursive Inseparability.Raymond M. Smullyan - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11):143-147.
  25.  24
    Monadic Elementary Formal Systems.Raymond M. Smullyan - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):81-83.
  26.  20
    Theories with Effectively Inseparable Nuclei.Raymond M. Smullyan - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (15-22):219-224.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  59
    Some Unifying Fixed Point Principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
    This article is written for both the general mathematican and the specialist in mathematical logic. No prior knowledge of metamathematics, recursion theory or combinatory logic is presupposed, although this paper deals with quite general abstractions of standard results in those three areas. Our purpose is to show how some apparently diverse results in these areas can be derived from a common construction. In Section 1 we consider five classical fixed point arguments (or rather, generalizations of them) which we present as (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  28.  57
    Some New Double Induction and Superinduction Principles.Raymond M. Smullyan - 1990 - Studia Logica 49 (1):23 - 30.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29. The Lady or the Tiger? And Other Logic Puzzles, Including a Mathematical Novel That Features Gödel's Great Discovery.Raymond M. Smullyan - 1982
     
    Export citation  
     
    Bookmark   1 citation  
  30.  49
    Uniform Self-Reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
    Self-referential sentences have played a key role in Tarski's proof [9] of the non-definibility of arithmetic truth within arithmetic and Gödel's proof [2] of the incompleteness of Peano Arithmetic. In this article we consider some new methods of achieving self-reference in a uniform manner.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  31.  6
    Languages in Which Self Reference is Possible.Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):228-228.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  12
    Quine Willard Van Orman. Methods of Logic. Revised Edition, Henry Holt and Company, Inc., New York 1959, Xx + 272 Pp. [REVIEW]Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):219-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  16
    Meeting of the Association for Symbolic Logic.Raymond M. Smullyan - 1964 - Journal of Symbolic Logic 29 (3):150-162.
  34.  9
    Reviews. 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]A. Nerode & Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):73-75.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  23
    On Post's Canonical Systems.Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):55-57.
  36.  8
    Meeting of the Association for Symbolic Logic.Raymond M. Smullyan - 1964 - Journal of Symbolic Logic 29 (3):150-162.
  37.  9
    A Generalization of Intuitionistic and Modal Logics.Raymond M. Smullyan - 1977 - Journal of Symbolic Logic 42 (2):316-317.
  38.  5
    On Post's Canonical Systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):623-623.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  6
    Mind Tools. The Five Levels of Mathematical Reality.Raymond M. Smullyan & Rudy Rucker - 1988 - Journal of Symbolic Logic 53 (4):1254.
  40.  7
    Extended Canonical Systems.Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (4):524-524.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  7
    Elementary Formal Systems.Raymond M. Smullyan - 1969 - Journal of Symbolic Logic 34 (1):117-117.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  5
    Creativity and Effective Inseparability.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (3):391-392.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Review: J. R. Shoenfield, Undecidable and Creative Theories. [REVIEW]Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (1):123-123.
  44.  41
    Recursion Theory for Metamathematics.Raymond M. Smullyan - 1993 - Oxford University Press.
    This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. This Book Needs No Title a Budget of Living Paradoxes.Raymond M. Smullyan - 1980
     
    Export citation  
     
    Bookmark  
  46. To Mock a Mocking Bird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic.Raymond M. Smullyan - 1985 - Knopf.
  47. What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles.Raymond M. Smullyan - 1981 - Critica 13 (38):126-130.
    No categories
     
    Export citation  
     
    Bookmark