The Godelian puzzle book : puzzles, paradoxes & proofs - Smullyan, Raymond M., 1919-2017 (Dover books on recreational math, 2013)