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
11 - Equality and axiomatic theories
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-9781139567862c11_p161-176_CBO.jpg)
- Type
- Chapter
- Information
- Elements of Logical Reasoning , pp. 161 - 176Publisher: Cambridge University PressPrint publication year: 2014