Proof Theory
Besorgungstitel - wird vorgemerkt | Lieferzeit: Besorgungstitel - Lieferbar innerhalb von 10 Werktagen I
25,34 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9780486490731
Veröffentl:
2013
Erscheinungsdatum:
20.02.2013
Seiten:
512
Autor:
Gaisi Takeuti
Gewicht:
670 g
Format:
226x153x30 mm
Serie:
Dover Books on Mathematics
Sprache:
Englisch
Beschreibung:
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.
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
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
