Raymond M. Smullyan (smullyan-rm)

Cité.e dans les articles suivants

Contributions à Philosophie.ch

Bibliography

Smullyan, Raymond M. 1957. “Languages in Which Self-Reference is Possible.” The Journal of Symbolic Logic 22: 55–67.
Smullyan, Raymond M. 1961. Theory of Formal Systems. Annals of Mathematics Studies n. 47. Princeton, New Jersey: Princeton University Press.
Smullyan, Raymond M. 1968. First-Order Logic. Ergebnisse der Mathematik und ihrer Grenzgebiete n. 43. Berlin: Springer.
Smullyan, Raymond M. 1970. “Abstract Quantification Theory.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 79–91. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Smullyan, Raymond M. 1973. “A Generalization of Intuitionistic and Modal Logics.” in Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, pp. 274–293. Studies in Logic and the Foundations of Mathematics n. 68. Amsterdam: North-Holland Publishing Co.
Smullyan, Raymond M. 1978. What is the Name of this Book? The Riddle of Dracula and Other Logical Puzzles. Englewood Cliffs, New Jersey: Prentice-Hall, Inc.
Smullyan, Raymond M. 1979. The Chess Mysteries of Sherlock Holmes. London: Hutchinson & Co.
Smullyan, Raymond M. 1980. This Book Needs No Title. A Budget of Living Paradoxes. Englewood Cliffs, New Jersey: Prentice-Hall, Inc.
Smullyan, Raymond M. 1981a. The Chess Mysteries of the Arabian Nights. New York: Alfred A. Knopf.
Smullyan, Raymond M. 1981b. Quel est le titre de ce livre? Des énigmes mathématiques drôles et déroutantes. Paris: Dunod. Traduction de Smullyan (1978) par Jérôme Marthon.
Smullyan, Raymond M. 1982a. Lady or the Tiger? And Other Logic Puzzles Including a Mathematical Novel That Features Gödel’s Great Discovery. New York: Times Books.
Smullyan, Raymond M. 1982b. Alice in Puzzle-Land. A Carrollian Tale for Children Under Eighty. London: Penguin Books.
Smullyan, Raymond M. 1983. 5000 B.C. and other Philosophical Fantasies. New York: St. Martin’s Press.
Smullyan, Raymond M. 1984a. Le livre qui rend fou! Paris: Dunod. Traduction de Smullyan (1982a) par Jérôme Marthon.
Smullyan, Raymond M. 1984b. “Chameleonic Languages.” Synthese 60: 201–224.
Smullyan, Raymond M. 1985a. To Mock a Mocking-Bird and Other Logic Puzzles, including an Amazing Adventure in Combinatory Logic. New York: Alfred A. Knopf.
Smullyan, Raymond M. 1985b. “Some Principles Related to Löb’s Theorem.” in Intensional Mathematics, edited by Stewart Shapiro, pp. 213–230. Studies in Logic and the Foundations of Mathematics n. 113. Amsterdam: North-Holland Publishing Co.
Smullyan, Raymond M. 1985c. “Modality and Self-Reference.” in Intensional Mathematics, edited by Stewart Shapiro, pp. 191–212. Studies in Logic and the Foundations of Mathematics n. 113. Amsterdam: North-Holland Publishing Co.
Smullyan, Raymond M. 1987a. Forever Undecided. A Puzzle Guide to Gödel. New York: Alfred A. Knopf.
Smullyan, Raymond M. 1987b. “Quotation and Self-Reference.” in Self-Reference – Reflections on Reflexivity, edited by Steven J. Bartlett and Peter Suber, pp. 123–144. Martinus Nijhoff Philosophy Library n. 21. Den Haag: Martinus Nijhoff Publishers.
Smullyan, Raymond M. 1991. “Some Unifying Fixed Point Principles.” Studia Logica: An International Journal for Symbolic Logic 50: 129–141.
Smullyan, Raymond M. 1992a. Gödel’s Incompleteness Theorems. Oxford Logic Guides n. 19. Oxford: Oxford University Press.
Smullyan, Raymond M. 1992b. Satan, Cantor, and Infinity and Other Mind-Boggling Puzzles. New York: Alfred A. Knopf.
Smullyan, Raymond M. 1993a. Recursion Theory for Metamathematics. Oxford Logic Guides n. 22. Oxford: Oxford University Press.
Smullyan, Raymond M. 1993b. Ça y est, je suis fou! Paris: Dunod. Traduction de Smullyan (1992a) par Antoine Vélu.
Smullyan, Raymond M. 1994. Diagonalization and Self-Reference. Oxford Logic Guides n. 27. Oxford: Oxford University Press.
Smullyan, Raymond M. 1995a. First-Order Logic. Mineola, New York: Dover Publications.
Smullyan, Raymond M. 1995b. Théorie de la récursivité pour la métamathématique. Issy-les-Moulineaux (Hauts-de-Seine): Masson. Traduction de Smullyan (1993a) par Philippe Ithier.
Smullyan, Raymond M. 1997. The Riddle of Scheherazade: And Other Amazing Puzzles, Ancient & Modern. San Diego, California: Harvest.
Smullyan, Raymond M. 1998. Les énigmes de Shéhérazade ou Comment une malicieuse princesse vient au bout de 200 questions de logique et de mathématique. Paris: Flammarion. Traduction de Smullyan (1997) par Willem van den Brul.
Smullyan, Raymond M. 2000. Les théorèmes d’incomplétude de Gödel. Paris: Dunod. Traduction de Smullyan (1992a) par Maurice Margenstern.
Smullyan, Raymond M. 2001a. “Gödel’s Incompleteness Theorems.” in The Blackwell Guide to Philosophical Logic, edited by Lou F. Goble, pp. 72–89. Blackwell Philosophy Guides. Oxford: Blackwell Publishers, doi:10.1002/9781405164801.
Smullyan, Raymond M. 2001b. “Equivalence Relations and Groups.” in Logic, Meaning and Computation: Essays in Memory of Alonzo Church, edited by Curtis Anthony Anderson and Michael Zelëny, pp. 261–273. Synthese Library n. 304. Dordrecht: Kluwer Academic Publishers.
Smullyan, Raymond M. 2006. “A Logical Miscellany.” in The Philosophy of Jaakko Hintikka, edited by Lewis Edwin Hahn and Randall E. Auxier, pp. 437–446. The Library of Living Philosophers n. 30. LaSalle, Illinois: Open Court Publishing Co.
Smullyan, Raymond M. 2007. The Magic Garden of George B. and Other Logic Puzzles. Monza: Polimetrica. Reissued as Smullyan (2015).
Smullyan, Raymond M. 2009. Logical Labyrinths. Wellesley, Massachusetts: A K Peters.
Smullyan, Raymond M. 2010. King Arthur in Search of His Dog and Other Curious Puzzles. Mineola, New York: Dover Publications.
Smullyan, Raymond M. 2013. The Gödelian Puzzle Book. Puzzles, Paradoxes and Proofs. Mineola, New York: Dover Publications.
Smullyan, Raymond M. 2014. A Beginner’s Guide to Mathematical Logic. Mineola, New York: Dover Publications.
Smullyan, Raymond M. 2015. The Magic Garden of George B. and Other Logic Puzzles. Singapore: World Scientific Publishing Co. Reissue of Smullyan (2007).
Smullyan, Raymond M. 2017. A Beginner’s Further Guide to Mathematical Logic. Singapore: World Scientific Publishing Co.
Smullyan, Raymond M. and Fitting, Melvin Chris. 1996. Set Theory and the Continuum Problem. Oxford Logic Guides n. 34. Oxford: Oxford University Press. second edition: Smullyan and Fitting (2010).
Smullyan, Raymond M. and Fitting, Melvin Chris. 2010. Set Theory and the Continuum Problem. 2nd ed. Mineola, New York: Dover Publications. First edition: Smullyan and Fitting (1996).