Subsystems of Second Order Arithmetic
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas. · On INTEXT.
Open Subsystems of Second Order Arithmetic on INTEXT (intextdb.com).
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas. · On INTEXT.
Open Subsystems of Second Order Arithmetic on INTEXT (intextdb.com).