The Gödelian puzzle book : puzzles, paradoxes and proofs /
Smullyan, Raymond M.author.
Logic puzzles.
Mathematical recreations.
Gödel's theorem.