che-chandler.de
Proof Theory
Besorgungstitel - wird vorgemerkt | Lieferzeit: Besorgungstitel - Lieferbar innerhalb von 10 Werktagen I
Alle Preise inkl. MwSt.
| zzgl. Versand
Nicht verfügbar
Zum Merkzettel
Gewicht:
670 g
Format:
226x153x30 mm
Beschreibung:
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
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
This comprehensive monograph presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.