The Gdelian Puzzle Book: Puzzles, Paradoxes and Proofs