Book contents
- Frontmatter
- Contents
- Preface
- 1 Introduction
- 2 N-systems and H-systems
- 3 Gentzen systems
- 4 Cut elimination with applications
- 5 Bounds and permutations
- 6 Normalization for natural deduction
- 7 Resolution
- 8 Categorical logic
- 9 Modal and linear logic
- 10 Proof theory of arithmetic
- 11 Second-order logic
- Solutions to selected exercises
- Bibliography
- Symbols and notations
- Index
10 - Proof theory of arithmetic
Published online by Cambridge University Press: 05 June 2012
Book contents
- Frontmatter
- Contents
- Preface
- 1 Introduction
- 2 N-systems and H-systems
- 3 Gentzen systems
- 4 Cut elimination with applications
- 5 Bounds and permutations
- 6 Normalization for natural deduction
- 7 Resolution
- 8 Categorical logic
- 9 Modal and linear logic
- 10 Proof theory of arithmetic
- 11 Second-order logic
- Solutions to selected exercises
- Bibliography
- Symbols and notations
- Index
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Basic Proof Theory , pp. 317 - 344Publisher: Cambridge University PressPrint publication year: 2000