The lady or the tiger? : and other logic puzzles, including a mathematical novel that features Gödel's great discovery - Smullyan, Raymond M. (Knopf, 1982)