Nagel, Ernest
Gödel's proof,
by Ernest Nagel and James R. Newman
- New York New York University Press 2001
- xxiii, 129 p. : ill. ; 21 cm.
Print version Nagel, Ernest, 1901- Gödel's proof. Rev. ed. New York : New York University Press
9780814758168
Gödel's theorem
Metamathematics
Logic, Symbolic and mathematical
Mathematics--Philosophy
511.3 / NAG/G