Subsystems of Second Order Arithmetic
Inbunden, Engelska, 2009
Av Stephen G. (Pennsylvania State University) Simpson, Stephen G. Simpson
2 539 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.
Produktinformation
- Utgivningsdatum2009-05-29
- Mått160 x 240 x 30 mm
- Vikt800 g
- FormatInbunden
- SpråkEngelska
- SeriePerspectives in Logic
- Antal sidor464
- Upplaga10002
- FörlagCambridge University Press
- ISBN9780521884396