You mention in another comment that it skipped some part of the proof and that you were disappointed. Do you still recommend the book?
In short, I haven't found any source that explains the proof in reasonable detail.
If you want to understand the thought process of axiomatic reasoning (and with less extrapolations to consciousness et al) it is a good book.
Note: I had read a long time back, so do not remember the details.