Metamathematics, Machines and Gödel's Proof

ISBN: 9780521585330 出版年：1994 页码：220 N Shankar Cambridge University Press

1. Introduction 2. The statement of the incompleteness theorem 3. Derived inference rules 4. The representability of metatheory 5. The undecidable sentence 6. A mechanical proof of the Church-Rosser theorem 7. Conclusions.