The lady or the tiger?

and other logic puzzles, including a mathematical novel that features G?odel's great discovery