Title: Subsystems of Second Order Arithmetic
Description: Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
Subjects: Predicate calculus