Gödel's proof - Nagel, Ernest, 1901-1985. (Routledge classics, 2005)