21 % nuolaida
Subsystems of Second Order Arithmetic
Perspectives in Logic
Išpardavimo kaina
701,00 zł
Įprasta kaina
891,00 zł
Vieneto kaina
/
Nepasiekiama
Pagal Stephen G. Simpson
Aprašymas
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.
Subsystems of Second Order Arithmetic