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.