Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgments
- 1 Fundamentals
- 2 Propositional Logic
- 3 Semantics of Propositional Logic
- 4 First-Order Logic
- 5 Semantics of First-Order Logic
- 6 Cut Elimination
- 7 Properties of First-Order Logic
- 8 Primitive Recursion
- 9 Primitive Recursive Arithmetic
- 10 First-Order Arithmetic
- 11 Computability
- 12 Undecidability and Incompleteness
- 13 Finite Types
- 14 Arithmetic and Computation
- 15 Second-Order Logic and Arithmetic
- 16 Subsystems of Second-Order Arithmetic
- 17 Foundations
- Appendix A Background
- References
- Notation
- Index
Acknowledgments
Published online by Cambridge University Press: 08 September 2022
Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgments
- 1 Fundamentals
- 2 Propositional Logic
- 3 Semantics of Propositional Logic
- 4 First-Order Logic
- 5 Semantics of First-Order Logic
- 6 Cut Elimination
- 7 Properties of First-Order Logic
- 8 Primitive Recursion
- 9 Primitive Recursive Arithmetic
- 10 First-Order Arithmetic
- 11 Computability
- 12 Undecidability and Incompleteness
- 13 Finite Types
- 14 Arithmetic and Computation
- 15 Second-Order Logic and Arithmetic
- 16 Subsystems of Second-Order Arithmetic
- 17 Foundations
- Appendix A Background
- References
- Notation
- Index
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Mathematical Logic and Computation , pp. xiiPublisher: Cambridge University PressPrint publication year: 2022