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
- Type
- Chapter
- Information
- Elements of Logical Reasoning , pp. 161 - 176Publisher: Cambridge University PressPrint publication year: 2014