Gödel's proof
Ernest Nagel (Author), James R. Newman (Author)
pages cm.
9781138834651, 1138834653
898154262
Chapter 1 Introduction; Chapter 2 The Problem of Consistency; Chapter 3 Absolute Proofs of Consistency; Chapter 4 The Systematic Codification of Formal Logic; Chapter 5 An Example of a Successful Absolute Proof of Consistency; Chapter 6 The Idea of Mapping and Its Use in Mathematics; Chapter 7 Gödel's Proofs; Chapter 8 Concluding Reflections;
This edition originally published: 1958