Gödel's proof /
Nagel, Ernest,1901-
Newman, James R.(James Roy)1907-1966.
London : Routledge,
1989.
Gödel, Kurt, 1906-1978.