Table of Contents

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1. First Order Predicate Calculus 2. Peano Arithmetic Part II. Second Order and Finite Order Systems 3. Second Order Systems and Simple Type Theory 4. Infinitary Logic Part III. Consistency Problems 5. Consistency Proofs 6. Some Applications of Consistency Proofs Postscript Appendix Index