The Godelian Puzzle Book - Puzzles, Paradoxes and Proofs

These logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. No background in formal logic necessary.