GODEL'S PROOF - Nagel, Ernest; Newman, James R. (Routledge & Kegan Paul, 1958)