✦ LIBER ✦

Undecidability and Recursive Inseparabilityby Raymond M. Smullyan

✍ Scribed by Review by: Clifford Spector

Book ID: 124186048
Publisher: Association for Symbolic Logic
Year: 1960
Tongue: English
Weight: 89 KB
Volume: 25
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2964225

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidability and recursive inseparabil

Undecidability and recursive inseparability

✍ Raymond M. Smullyan 📂 Article 📅 1958 🏛 John Wiley and Sons 🌐 English ⚖ 320 KB

A Generalization of Intuitionistic and M

A Generalization of Intuitionistic and Modal Logics.by Raymond M. Smullyan

✍ Review by: Melvin Fitting 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 107 KB

What is the Name of this Book?: The Ridd

What is the Name of this Book?: The Riddle of Dracula and Other Logical Puzzlesby Raymond M. Smullyan

✍ Review by: George Boolos 📂 Article 📅 1979 🏛 Duke University Press 🌐 English ⚖ 121 KB

Satan, Cantor, and Infinity and Other Mind-bogglin

✍ Smullyan, Raymond M 📂 Fiction 📅 2012 🏛 Knopf Doubleday Publishing Group 🌐 en-US ⚖ 619 KB

More than two hundred new and challenging logic puzzles--the simplest brainteaser to the most complex paradoxes in contemporary mathematical thinking--from our topmost puzzlemaster ("the most entertaining logician who ever lived," Martin Gardner has called him). Our guide to the puzzles is the

Truth and Provability

✍ Smullyan, Raymond M. 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 275 KB

TREES AND BALL GAMES

✍ Raymond M. Smullyan 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 260 KB