Godel's proof. - Nagel, Ernest; Newman, James R. (London Routledge & Kegen Paul, 1959)