Cargando…
Subsystems of second order arithmetic /
Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and to...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
©2009.
|
| Edición: | 2nd ed. |
| Colección: | Perspectives in logic.
|
| Temas: | |
| Acceso en línea: | Texto completo |