Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- Chapter 1 Formal systems
- Chapter 2 Propositional calculi
- Chapter 3 Predicate calculi
- Chapter 4 A complete, decidable arithmetic. The system Aoo
- Chapter 5 Aoo-Definable functions
- Chapter 6 A complete, undecidable arithmetic. The system Ao
- Chapter 7 Ao-Definable functions. Recursive function theory
- Chapter 8 An incomplete undecidable arithmetic. The system A
- Chapter 9 A-Definable sets of lattice points
- Chapter 10 Induction
- Chapter 11 Extensions of the system AI
- Chapter 12 Models
- Epilogue
- Glossary of special symbols
- Note on references
- References
- Index
Frontmatter
Published online by Cambridge University Press: 07 October 2011
- Frontmatter
- Contents
- Preface
- Introduction
- Chapter 1 Formal systems
- Chapter 2 Propositional calculi
- Chapter 3 Predicate calculi
- Chapter 4 A complete, decidable arithmetic. The system Aoo
- Chapter 5 Aoo-Definable functions
- Chapter 6 A complete, undecidable arithmetic. The system Ao
- Chapter 7 Ao-Definable functions. Recursive function theory
- Chapter 8 An incomplete undecidable arithmetic. The system A
- Chapter 9 A-Definable sets of lattice points
- Chapter 10 Induction
- Chapter 11 Extensions of the system AI
- Chapter 12 Models
- Epilogue
- Glossary of special symbols
- Note on references
- References
- Index
Summary
- Type
- Chapter
- Information
- Publisher: Cambridge University PressPrint publication year: 1972