I highly recommend Gödel's Proof (Nagel and Newman) as a supplement. I got a lot out of Hofstadter's book, but honestly found much of the discussion of the inco

I highly recommend Gödel's Proof (Nagel and Newman) as a supplement. I got a lot out of Hofstadter's book, but honestly found much of the discussion of the incompleteness theorem more confusing than it needed to be. If you're mostly interested in the Gödel part, I actually recommend you read it instead of Hofstadter's book. Gödel's Proof is very concise, and more clearly describes the core argument.