Mark as
Subsystems of Second Order Arithmetic
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
More by Stephen G. Simpson
Recent activity
Rate this book to see your activity here.
Comments and reviews
Please sign in to leave a comment