Recomienda este artículo a tus amigos:
Subsystems of Second Order Arithmetic - Perspectives in Logic Simpson, Stephen G. (Pennsylvania State University) 2 Revised edition
Subsystems of Second Order Arithmetic - Perspectives in Logic
Simpson, Stephen G. (Pennsylvania State University)
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.
464 pages, 83 tables 4 exercises
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 29 de mayo de 2009 |
| ISBN13 | 9780521884396 |
| Editores | Cambridge University Press |
| Páginas | 464 |
| Dimensiones | 242 × 164 × 32 mm · 846 g |
| Lengua | Inglés |