Alta reperibilità
Subsystems of Second Order Arithmetic
- Editore:
Cambridge University Press
- Collana:
- Perspectives In Logic
- EAN:
9780521150149
- ISBN:
0521150140
- Pagine:
- 464
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Subsystems of Second Order Arithmetic
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti