Godel's proof. - Nagel Ernest; Newman James R (London Routledge, 1958)