Gödel's proof.
Nagel, Ernest.
Newman, James R.(James Roy),1907-1966.
London,
1959.
Joint authors: Ernest Nagel and James Roy Newman.
[With a bibliography.]