Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic
About this book
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
Details
- OL Work ID
- OL19904846W
Subjects
Predicate calculus