Similar Books like Lady Or the Tiger? And Other Logic Puzzles Including a Mathematical Novel that Features Gödel's Great Discovery