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
Bibliography
Published online by Cambridge University Press: 05 June 2012
- 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
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781139168717/resource/name/firstPage-9781139168717bib_p379-403_CBO.jpg)
- Type
- Chapter
- Information
- Basic Proof Theory , pp. 379 - 403Publisher: Cambridge University PressPrint publication year: 2000