Chargement en cours…
Techniques of Constructive Analysis
This text provides a rigorous, wide-ranging introduction to modern constructive analysis for anyone with a strong mathematical background who is interested in the challenge of developing mathematics algorithmically. The authors begin by outlining the history of constructive mathematics, and the logi...
| Cote: | Libro Electrónico |
|---|---|
| Auteurs principaux: | , |
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
New York, NY :
Springer New York : Imprint: Springer,
2006.
|
| Édition: | 1st ed. 2006. |
| Collection: | Universitext,
|
| Sujets: | |
| Accès en ligne: | Texto Completo |