"The most original, most profound, and most humorous collection of recreational logic and math problems ever written." -- Martin Gardner, Scientific American
"The value of the book lies in the wealth of ingenious puzzles. They afford amusement, vigorous exercise, and instruction." -- Willard Van Orman Quine, The New York Times Book Review
If you're intrigued by puzzles and paradoxes, these 200 mind-bending logic puzzles, riddles, and diversions will thrill you with challenges to your powers of reason and common sense. Raymond M. Smullyan -- a celebrated mathematician,...

These brand-new recreational logic puzzles provide entertaining variations on Godel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Created by the celebrated logician Raymond Smullyan, the puzzles require no background in formal logic and will delight readers of all ages.
The two-part selection of puzzles and paradoxes begins with examinations of the nature of infinity and some curious systems related to Godel's theorem. The first three chapters of Part II contain generalized Godel theorems. Symbolic...

Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems.
Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric...