answer:My familiarity with the theorem is mostly from Douglas Hofstadter’s book, Godel, Escher, Bach The book gets a little too cute at times, but for the most part I enjoyed it. According to Hofstadter, most of the difficulty in the theorem comes from setting up the machinery for manipuating logical statements using arithmetic. What this book does is to assume the existence of this machinery and to provide a high level view of how it is used to prove the theorem. I recommend the book as a good introduction. I can’t help you much if you want to get into the low level details.