Godel's proof - Nagel, Ernest 1901-1985; Newman, James R. (James Roy), 1907-1966 (University Press, 1958)