Godel's proof - Nagel Ernest; Newman James R (London Routledge and Kegan Paul, 1959)
Keywords: Godel's theorem; Mathematical logic