Skip to main content
SpringerLink
Log in

Bibliography of Raymond Smullyan

  • Chapter
  • First Online:
Raymond Smullyan on Self Reference

Part of the book series: Outstanding Contributions to Logic ((OCTR,volume 14))

  • 458 Accesses

Abstract

Raymond Smullyan’s Books and Papers.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Technical Books

  • Smullyan, R. M. (1961d). Theory of formal systems (Rev ed.). Princeton, NJ: Princeton University Press.

    Google Scholar 

  • Smullyan, R. M. (1968b). First-order logic (Rev. ed., Dover Press, New York, 1994). Berlin: Springer.

    Google Scholar 

  • Smullyan, R. M. (1992a). Gödel’s incompleteness theorems. Oxford University Press.

    Google Scholar 

  • Smullyan, R. M. (1993). Recursion theory for metamathematics. Oxford University Press.

    Google Scholar 

  • Smullyan, R. M. (1994a). Diagonalization and self-reference. Oxford University Press.

    Google Scholar 

  • Smullyan, R. M. (2014a). A beginner’s guide to mathematical logic. Dover.

    Google Scholar 

  • Smullyan, R. M. (2016a). A beginner’s further guide to mathematical logic. World Scientific.

    Google Scholar 

  • Smullyan, R. M., & Fitting, M. C. (1996). Set theory and the continuum problem (Rev. ed., Dover Publications, 2010. Errata at http://melvinfitting.org/errata/errata.html). Oxford University Press.

Technical Papers

  • Nerode, A., & Smullyan, R. M. (1962). Review of the foundations of mathematics, a study in the philosophy of science by Evert W. Beth. Journal of Symbolic Logic, 27(1), 73–75.

    Google Scholar 

  • Smullyan, R. M. (1956a). Elementary formal systems (abstract). Bulletin of the American Mathematical Society, 62, 600.

    Google Scholar 

  • Smullyan, R. M. (1956b). Languages in which self reference is possible (abstract). Journal of Symbolic Logic, 21(2), 221.

    Google Scholar 

  • Smullyan, R. M. (1956c). On definability by recursion (abstract). Bulletin of the American Mathematical Society, 62, 601.

    Google Scholar 

  • Smullyan, R. M. (1957). Languages in which self reference is possible. Journal of Symbolic Logic, 22(1) (Reprinted in The Philosophy of Mathematics, Jaakko Hintikka editor, Oxford University Press, 1969), 55–67.

    Google Scholar 

  • Smullyan, R. M. (1958a). Theories with effectively inseparable nuclei (abstract). Journal of Symbolic Logic, 23(4), 458.

    Google Scholar 

  • Smullyan, R. M. (1958b). Undecidability and recursive inseparability. Zeitschrift fĂĽr mathematische Logik und Grundlagen der Mathematik, 4, 143–147.

    Google Scholar 

  • Smullyan, R. M. (1959a). Creative sets (abstract). Journal of Symbolic Logic, 24(4), 315.

    Google Scholar 

  • Smullyan, R. M. (1959b). Effective inseparability (abstract). Journal of Symbolic Logic, 24(4), 315.

    Google Scholar 

  • Smullyan, R. M. (1959c). Further results on effective inseparability. Journal of Symbolic Logic, 24(4), 315–316.

    Google Scholar 

  • Smullyan, R. M. (1959d). Review of methods of logic by Willard Van Orman Quine. Journal of Symbolic Logic, 24(3), 219–220.

    Article  Google Scholar 

  • Smullyan, R. M. (1960). Theories with effectively inseparable nuclei. Zeitschrift fĂĽr mathematische Logik und Grundlagen der Mathematik, 6, 219–224.

    Article  Google Scholar 

  • Smullyan, R. M. (1961a). Elementary formal systems. Journal of the Mathematical Society of Japan, 13(1), 38–44.

    Article  Google Scholar 

  • Smullyan, R. M. (1961b). Extended canonical systems. Proceedings of the American Mathematical Society, 12(3), 440–442.

    Article  Google Scholar 

  • Smullyan, R. M. (1961c). Monadic elementary formal systems. Zeitschrift fĂĽr mathematische Logik und Grundlagen der Mathematik, 7(2), 81–83.

    Article  Google Scholar 

  • Smullyan, R. M. (1962). On Post’s canonical systems. Journal of Symbolic Logic, 27(1), 55–57.

    Article  Google Scholar 

  • Smullyan, R. M. (1963a). A unifying principle in quantiffcation theory. Proceedings of the National Academy of Sciences, 49(6), 828–832.

    Article  Google Scholar 

  • Smullyan, R. M. (1963b). Creativity and effective inseparability. Transactions of the American Mathematical Society, 109(1), 135–145.

    Article  Google Scholar 

  • Smullyan, R. M. (1963c). Pseudo-uniform reducibility. Journal of the Mathematical Society of Japan, 15(2), 129–133.

    Article  Google Scholar 

  • Smullyan, R. M. (1964). Effectively simple sets. Proceedings of the American Mathematical Society, 15(6), 893–895.

    Article  Google Scholar 

  • Smullyan, R. M. (1965a). A unifying principle in quantiffcation theory. In J. W. Addison, L. Henkin, & A. Tarski (Eds.), The theory of models (pp. 433–434), 1963 International Symposium on the Theory of Models. Berkeley: North-Holland Publishing Co.

    Google Scholar 

  • Smullyan, R. M. (1965b). Analytic natural deduction. Journal of Symbolic Logic, 30(2), 123–139.

    Article  Google Scholar 

  • Smullyan, R. M. (1965c). On transfinite recursion. Transactions of the New York Academy of Sciences II, 28(2), 175–185.

    Article  Google Scholar 

  • Smullyan, R. M. (1966a). Finite nest structures and propositional logic. Journal of Symbolic Logic, 31(3), 322–324.

    Article  Google Scholar 

  • Smullyan, R. M. (1966b). Trees and nest structures. Journal of Symbolic Logic, 31(3), 303–321.

    Article  Google Scholar 

  • Smullyan, R. M. (1967a). More on transfinite recursion. Transactions of the New York Academy of Sciences II, 29(5), 555–559.

    Article  Google Scholar 

  • Smullyan, R. M. (1967b). Review of undecidable and creative theories by J. R. Shoenfield. Journal of Symbolic Logic, 32(1), 123.

    Article  Google Scholar 

  • Smullyan, R. M. (1967c). The Continuum Problem. In P. Edwards (Ed.), The encyclopedia of philosophy (pp. 207–212). New York: Macmillan.

    Google Scholar 

  • Smullyan, R. M. (1968a). Analytic cut. Journal of Symbolic Logic, 33(4), 560–564.

    Article  Google Scholar 

  • Smullyan, R. M. (1968c). Uniform Gentzen systems. Journal of Symbolic Logic, 33(4), 549–559.

    Article  Google Scholar 

  • Smullyan, R. M. (1969). The continuum hypothesis. In A. George Boehm (Ed.), The mathematical sciences a collection of essays. Cambridge: MIT Press.

    Google Scholar 

  • Smullyan, R. M. (1970). Abstract quantification theory. In J. Myhill, A. Kino, & R. Vesley (Eds.), Intuitionism and proof theory, proceedings of the summer conference at Buffalo N. Y. 1968 (pp. 79–91). North-Holland.

    Google Scholar 

  • Smullyan, R. M. (1972). Review of mathematics of incompleteness and undecidability by Vladeta VuÄŤkovicć. Journal of Symbolic Logic, 37(1), 195–196.

    Article  Google Scholar 

  • Smullyan, R. M. (1973). A Generalization of intuitionistic and modal logics. In H. Leblanc (Ed.), Truth, syntax and modality (pp. 274–293). Amsterdam: North-Holland.

    Chapter  Google Scholar 

  • Smullyan, R. M. (1979b). Trees and ball games. Annals of the New York Academy of Sciences, 321, 86–90.

    Article  Google Scholar 

  • Smullyan, R. M. (1984b). Chameleonic languages. SynthĂ©se, 60(2), 201–224.

    Google Scholar 

  • Smullyan, R. M. (1984c). Fixed points and self-reference. International Journal of Mathematics and Mathematical Sciences, 7(2), 283–289.

    Article  Google Scholar 

  • Smullyan, R. M. (1985a). Modality and self-reference. In Intensional mathematics. Studies in logic and the foundations of mathematics (Vol. 113, pp. 191–211). Amsterdam: North-Holland.

    Google Scholar 

  • Smullyan, R. M. (1985b). Some principles related to Löb’s theorem. In Intensional mathematics. Studies in logic and the foundations of mathematics (Vol. 113, pp. 213–229). Amsterdam: North-Holland.

    Google Scholar 

  • Smullyan, R. M. (1985e). Uniform self-reference. In Studia logica XLIV.4. Tarski Symposium Volume, pp. 439–445.

    Google Scholar 

  • Smullyan, R. M. (1986). Logicians who reason about themselves. In Theoretical aspects of reasoning about knowledge. Proceedings of the 1986 conference on reasoning about knowledge (pp. 341–352). Morgan Kaufman.

    Google Scholar 

  • Smullyan, R. M. (1987b). Quotation and self-reference. In S. J. Bartlett & P. Suber (Eds.), Self-reference (pp. 123–144). Dordrecht: Martinus Nijhoff Publishers.

    Chapter  Google Scholar 

  • Smullyan, R. M. (1988). Review of mind tools. The five levels of mathematical reality, by Rudy Rucker. Journal of Symbolic Logic, 53(4), 1254–1255.

    Google Scholar 

  • Smullyan, R. M. (1989). Logic puzzles. Atti Degli Incontri di Logica Matematica, 5, 73–83.

    Google Scholar 

  • Smullyan, R. M. (1990). Some new double induction and superinduction principles. Studia Logica, 49(1), 23–30.

    Article  Google Scholar 

  • Smullyan, R. M. (1991a). Quantification theory in a nutshell. In J. H. Ewing & F. W. Gehring (Eds.), Paul Halmos, celebrating 50 years of mathematics (pp. 297–304). New York: Springer.

    Chapter  Google Scholar 

  • Smullyan, R. M. (1991b). Some unifying fixed point principles. Studia Logica, 50(1), 129–141.

    Article  Google Scholar 

  • Smullyan, R. M. (1996). Gödel’s incompleteness theorems. In Grolier encyclopedia of science and technology.

    Google Scholar 

  • Smullyan, R. M. (2001a). Equivalence relations and groups. In C. A. Anderson & M. Zeleny (Eds.), Logic, meaning and computation: Memorial volume for Alonzo church (pp. 261–271). Netherlands: Kluwer Academic Publishers.

    Chapter  Google Scholar 

  • Smullyan, R. M. (2001b). Gödel’s incompleteness theorems. In L. Goble (Ed.), The Blackwell guide to philosophical logic (pp. 72–89). Hoboken: Wiley-Blackwell.

    Google Scholar 

  • Smullyan, R. M. (2004a). An isomorphism related to Gödel’s fundamental operations. Logic Journal of IGPL, 12(6), 439–445.

    Article  Google Scholar 

  • Smullyan, R. M. (2006a). Self-reference in all its glory. In T. Bolander, V. F. Hendricks, & S. A. Pedersen (Eds.), Self-reference. CSLI Lecture Notes 8 (Vol. 178, pp. 151–163). CSLI Publications.

    Google Scholar 

  • Smullyan, R. M. (2006b). A logical miscellany. In R. E. Auxier & L. E. Hahn (Eds.), The philosophy of Jaakko Hintikka. The library of living philosophers (pp. 437–446). Open Court.

    Google Scholar 

  • Smullyan, R. M. (2011). Duplex diagonalization. Logic without frontiers, Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday (pp. 1–16). London: College Publications.

    Google Scholar 

  • Smullyan, R. M., & Putnam, H. (1960). Exact separation of recursively enumerable sets within theories. Proceedings of the American Mathematical Society, 11(4), 574–577.

    Article  Google Scholar 

Popular Books

  • Smullyan, R. M. (1977). The Tao is silent. Harper and Row.

    Google Scholar 

  • Smullyan, R. M. (1978b). What is the name of this book? Prentice-Hall.

    Google Scholar 

  • Smullyan, Raymond M. (1979a). The chess mysteries of Sherlock Holmes. Alfred A: Knopf.

    Google Scholar 

  • Smullyan, R. M. (1980). This book needs no title. Prentice-Hall.

    Google Scholar 

  • Smullyan, R. M. (1981d). The chess mysteries of the Arabian knights. Alfred A: Knopf.

    Google Scholar 

  • Smullyan, R. M. (1982a). Alice in puzzle-land. William Morrow & Co.

    Google Scholar 

  • Smullyan, R. M. (1982c). The lady or the Tiger?. Alfred A: Knopf.

    Google Scholar 

  • Smullyan, R. M. (1983a). 5000 B. C. — and other philosophical fantasies. St. Martin’s Press.

    Google Scholar 

  • Smullyan, R. M. (1985d). To mock a mockingbird. Alfred A: Knopf.

    Google Scholar 

  • Smullyan, R. M. (1987a). Forever undecided. Alfred A: Knopf.

    Google Scholar 

  • Smullyan, R. M. (1992b). Satan, Cantor and Infinity. Alfred A: Knopf.

    Google Scholar 

  • Smullyan, R. M. (1997). The riddle of Scheherazade and other amazing puzzles, ancient and modern. Alfred A: Knopf.

    Google Scholar 

  • Smullyan, R. M. (2002b). Some interesting memories: A paradoxical life. Davenport, Iowa: Thinkers’ Press Inc.

    Google Scholar 

  • Smullyan, R. M. (2003). Who knows?: A study of religious consciousness. Indiana University Press.

    Google Scholar 

  • Smullyan, R. M. (2007). The magic garden of George B and other logic puzzles. World Scientific.

    Google Scholar 

  • Smullyan, R. M. (2009a). A spiritual journey. Praxis International Inc.

    Google Scholar 

  • Smullyan, R. M. (2009b). Logical labyrinths. Peters: A. K.

    Google Scholar 

  • Smullyan, R. M. (2009c). Rambles through my library. Praxis International Inc.

    Google Scholar 

  • Smullyan, R. M. (2010). King Arthur in search of his Dog & other curious puzzles. Dover.

    Google Scholar 

  • Smullyan, R. M. (2013a). The Gödelian puzzle book. Dover.

    Google Scholar 

  • Smullyan, R. M. (2015). Reflections. World Scientific.

    Google Scholar 

  • Smullyan, R. M. (2016b). A mixed bag: Jokes, puzzles, riddles and memorabilia. Sagging Meniscus Press.

    Google Scholar 

  • Smullyan, R. M., & Bispham, P. (Eds.). (2009). In their own words: Pianists of the piano society, popular articles. Lulu Press.

    Google Scholar 

Popular Articles

  • Smullyan, R. M. (1975). Simplicus and the tree, an open air symposium. In University of Chicago magazine (pp. 32–34).

    Google Scholar 

  • Smullyan, R. M. (1978a). Puzzles. The Mathematical Intelligencer, 1(2), 110–111.

    Article  Google Scholar 

  • Smullyan, R. M. (1982b). Review of logic matters, by P.T. Geach. The Mathematical Intelligencer, 4(1), 39–40.

    Article  Google Scholar 

  • Smullyan, R. M. (1983b). The abduction of Annabelle. The Sciences, 23(5), 13–16.

    Article  Google Scholar 

  • Smullyan, R. M. (1983c). The lie detective. The Sciences, 23(3), 9–12.

    Article  Google Scholar 

  • Smullyan, R. M. (1983d). When I was a boy. The Sciences, 23(4), 11–13.

    Article  Google Scholar 

  • Smullyan, R. M. (1984a). A Plague of lies. The Sciences, 24(3), 67–69.

    Article  Google Scholar 

  • Smullyan, R. M. (1984d). How Kazir won his wife. The Sciences, 24(1), 67–69.

    Article  Google Scholar 

  • Smullyan, R. M. (1984e). On the other hand. The Sciences, 24(4), 62–63.

    Article  Google Scholar 

  • Smullyan, R. M. (1985c). Satan, Cantor and Infinity. College Mathematics Journal, 16(2), 118–121.

    Article  Google Scholar 

  • Smullyan, R. M. (1994b). Anger, retribution and violence. In A. Gandhi (Ed.), World without violence, can Gandhi’s vision become reality? (pp. 210–211). Limited: Wiley Eastern.

    Google Scholar 

  • Smullyan, R. M. (1995a). Stereo viewers. In Stereoscopy.

    Google Scholar 

  • Smullyan, R. M. (1995b). Three stereo puzzles by Raymond Smullyan. Stereo World Magazine, 22.

    Google Scholar 

  • Smullyan, R. M. (1999). A curious paradox. In E. R. Berlekamp & T. Rogers (Eds.), The mathemagician and pied puzzler, a collection in tribute to Martin Gardner (pp. 189–190). Natick: A. K. Peters.

    Google Scholar 

  • Smullyan, R. M. (2002a). Some tricks and paradoxes. In D. Wolfe & T. Rogers (Eds.), Puzzlers’ tribute, a feast for the mind (pp. 341–348). Natick: A. K. Peters.

    Google Scholar 

  • Smullyan, R. M. (2004b). Gödelian puzzles. In B. Cipra, et al. (Eds.), Tribute to a mathemagician (pp. 49–54). Wellesley: A. K. Peters.

    Google Scholar 

  • Smullyan, R. M. (2008). Memories and inconsistencies. In E. D. Demaine, M. L. Demaine, & T. Rodgers (Eds.), A lifetime of puzzles (pp. 245–252). Boca Raton: CRC Press.

    Chapter  Google Scholar 

  • Smullyan, R. M. (2013b). Truth and provability. The Mathematical Intelligencer, 35(1), 21–24.

    Article  Google Scholar 

  • Smullyan, R. M. (2014b). Afterword: Rambles and reflections. In J. Rosenhouse (Ed.), Four lives, a celebration of Raymond Smullyan (pp. 125–137). Mineola: Dover.

    Google Scholar 

  • Smullyan, R. M. (2016c). Mineola. In J. Beineke & J. Rosenhouse (Eds.), The mathematics of various entertaining subjects: Research in recreational math (p. 7). Princeton: Princeton University Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. City University of New York (CUNY) System, City University of New York (emeritus), New York, NY, USA

    Raymond M. Smullyan

Authors
  1. Raymond M. Smullyan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Raymond M. Smullyan .

Editor information

Editors and Affiliations

  1. City University of New York (CUNY) System, City University of New York, New York City, New York, USA

    Melvin Fitting

  2. NYC Department of Education, Brooklyn, New York, USA

    Brian Rayman

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Smullyan, R.M. (2017). Bibliography of Raymond Smullyan. In: Fitting, M., Rayman, B. (eds) Raymond Smullyan on Self Reference. Outstanding Contributions to Logic, vol 14. Springer, Cham. https://doi.org/10.1007/978-3-319-68732-2_12

Download citation

Publish with us

Policies and ethics

Search

Navigation