Godel's proof - Ernest Nagel; James R Newman (London : Routledge, 2005)
Originally published: 1958.
Keywords: Godel's Theorem; Mathematics; Symbolic Logic; Logic; Science