"Gödel's Proof" by Ernest Nagel and James R. Newman helped me to get it at some point.

On Amazon: <https://www.amazon.com/Godels-Proof-Ernest-Nagel-ebook/dp/B0...>

I might even pick up an eBook version if I can find it somewhere else. Been a while.