I'd recommend "Gödel's Proof" by Ernest Nagel and James Roy Newman. The edition I read was revised by Hofstadter and I thought it did a good job of explaining t

I'd recommend "Gödel's Proof" by Ernest Nagel and James Roy Newman. The edition I read was revised by Hofstadter and I thought it did a good job of explaining the theorem.