Book contents
- Frontmatter
- Contents
- Preface
- PART I First steps in logical reasoning
- Part II Logical reasoning with the quantifiers
- Part III Beyond pure logic
- 11 Equality and axiomatic theories
- 12 Elements of the proof theory of arithmetic
- Part IV Complementary topics
- Suggestions for the use of this book
- Further reading
- Bibliography
- Index of names
- Index of subjects
12 - Elements of the proof theory of arithmetic
Published online by Cambridge University Press: 05 June 2014
- Frontmatter
- Contents
- Preface
- PART I First steps in logical reasoning
- Part II Logical reasoning with the quantifiers
- Part III Beyond pure logic
- 11 Equality and axiomatic theories
- 12 Elements of the proof theory of arithmetic
- Part IV Complementary topics
- Suggestions for the use of this book
- Further reading
- Bibliography
- Index of names
- Index of subjects
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%3A9781139567862/resource/name/firstPage-9781139567862c12_p177-192_CBO.jpg)
- Type
- Chapter
- Information
- Elements of Logical Reasoning , pp. 177 - 192Publisher: Cambridge University PressPrint publication year: 2014