Subsystems of Second Order ArithmeticStephen G. Simpson

Subsystems of Second Order Arithmetic
Stephen G. Simpson · 2009
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
Book details
- Year
- 2009
- Language
- English
- Series
- Perspectives in Logic
- Publisher
- Cambridge University Press
- Editions
- 1
- Pages
- 462
- ISBN
- 9780511579851
Data source: Wikidata
