Book contents
- Frontmatter
- Dedication
- Preface to the Series Perspectives in Mathematical Logic
- Authors' Preface
- Contents
- Introduction
- Preliminaries
- PART A
- Chapter I Arithmetic as Number Theory, Set Theory and Logic
- Chapter II Fragments and Combinatorics
- PART B
- PART C
- Bibliographical Remarks and Further Reading
- Bibliography
- Index of Terms
- Index of Symbols
Chapter II - Fragments and Combinatorics
from PART A
Published online by Cambridge University Press: 24 March 2017
- Frontmatter
- Dedication
- Preface to the Series Perspectives in Mathematical Logic
- Authors' Preface
- Contents
- Introduction
- Preliminaries
- PART A
- Chapter I Arithmetic as Number Theory, Set Theory and Logic
- Chapter II Fragments and Combinatorics
- PART B
- PART C
- Bibliographical Remarks and Further Reading
- Bibliography
- Index of Terms
- Index of Symbols
Summary
- Type
- Chapter
- Information
- Metamathematics of First-Order Arithmetic , pp. 111 - 144Publisher: Cambridge University PressPrint publication year: 2017