Gödel's proof - Nagel, Ernest; Newman, James Roy; Hofstadter, Douglas R. (New York University Press, 2001)