

Year: 2003 ISBN:
1568811756 Table of Contents 1.
Introduction
2. Arithmetical Preliminaries 3. Primes and Proofs 4. The Language of Arithmetic 5. The Language of Analysis 6. Ordinals and Inductive Definitions 7. Formal Languages and the Definition of Truth 8. Logic and Theories 9. Peano Artithmetic and Computability 10. Elementary and Classical Analysis 11. The Recursion Theorem and Ordinal Notations 12. The Incompleteness Theorems 13. Iterated Consistency 14. Iterated Reflection 15. Iterated Iteration and Inexhaustibility

[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]