Raymond M. Smullyan's Documents

Raymond M. Smullyan's Documents

Gödel's incompleteness theorems

Gödel's incompleteness theorems

Diagonalization and Self-Reference

Diagonalization and Self-Reference

Who knows

Gödel's Incompleteness Theorems (Oxford Logic Guides, 19)

Gödel's Incompleteness Theorems (Oxford Logic Guides, 19)

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic

Satan, Cantor, And Infinity and Other Mind-Boggling Puzzles

Satan, Cantor, And Infinity and Other Mind-Boggling Puzzles

Godel's Proof

Alice in Puzzle Land. A Carrollian Tale for Children Under Eighty

Alice in Puzzle Land. A Carrollian Tale for Children Under Eighty

Recursion Theory for Metamathematics (Oxford Logic Guides, Volume 22)

Recursion Theory for Metamathematics (Oxford Logic Guides, Volume 22)

Forever Undecided, A Puzzle Guide to Godel

Forever Undecided, A Puzzle Guide to Godel

Lady or the Tiger And Other Logic Puzzles Including a Mathematical Novel

Lady or the Tiger And Other Logic Puzzles Including a Mathematical Novel

Theory of formal systems

Theory of formal systems

Diagonalization and Self-Reference (Oxford Logic Guides)

Diagonalization and Self-Reference (Oxford Logic Guides)

First-Order Logic

First-Order Logic

Diagonalization and Self-Reference (Oxford Logic Guides)

Diagonalization and Self-Reference (Oxford Logic Guides)

Recursion theory for metamathematics

Recursion theory for metamathematics

The Riddle of Scheherazade: And Other Amazing Puzzles, Ancient and Modern

The Riddle of Scheherazade: And Other Amazing Puzzles, Ancient and Modern

First-order logic

First-order logic

The Chess Mysteries of the Arabian Knights

The Chess Mysteries of the Arabian Knights

The Chess Mysteries of Sherlock Holmes

The Chess Mysteries of Sherlock Holmes

Diagonalization and Self-Reference (Oxford Logic Guides, 27)

Diagonalization and Self-Reference (Oxford Logic Guides, 27)

Diagonalization and Self-Reference (Oxford Logic Guides)

Diagonalization and Self-Reference (Oxford Logic Guides)

Ça y est, je suis fou !!

Ça y est, je suis fou !!

Goedel's incompleteness theorems

Goedel's incompleteness theorems

This Book Needs No Title: Paradoxes, Labyrinths and Conundrums

This Book Needs No Title: Paradoxes, Labyrinths and Conundrums

Alice in Puzzle-Land

Alice in Puzzle-Land

Forever Undecided: A Puzzle Guide to Godel

Forever Undecided: A Puzzle Guide to Godel

Who Knows?: A Study of Religious Consciousness

Who Knows?: A Study of Religious Consciousness

Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)

Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)

The Chess Mysteries of Sherlock Holmes

The Chess Mysteries of Sherlock Holmes

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree & close