Gödel's Proof

Douglas R. Hofstadter, Ernest Nagel, James Roy Newman