These brand-new recreational logic puzzles provide entertaining variations on G del'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...