Nagel, Ernest, 1901- Gd̲el's proof, by Ernest Nagel and James R. Newman.

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.