Book/Gödel's Proof
Jump to navigation
Jump to search
Nagel, Ernest; Newman, James (1959). Gödel's Proof. local page.
Gödel's Proof by Ernest Nagel and James R. Newman (1959). This book provides a good introduction and summary of the proof, with a large section dedicated to Gödel's numbering.