One of the Smullyan books. I think this one... Raymond M. Smullyan, *The Lady or the Tiger? And Other Logic Puzzles Including a Mathematical Novel That Features Godel's Great Discovery* After many years I can no longer tell you how like or different it is to Gödel's original proof.