If you are not immediately redirected, please click here
Nagel, Ernest, 1901-
Gd̲el's proof, by Ernest Nagel and James R. Newman.
Gd̲el's theorem.
Newman, James Roy, 1907-1966.
Catalog