Gödel's Proof Revised ed. Ernest Nagel (Author), James Newman (Author), Douglas R. Hofstadter (Editor, Foreword) & 0 more. In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems.
Avalable for download to Kindle, B&N nook Godel's Proof