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...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Bridges, Douglas S. (Autor), Vita, Luminita Simona (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York, NY :
Springer New York : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Colección: | Universitext,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
por: Kohlenbach, Ulrich
Publicado: (2008) -
Topics in Mathematical Analysis and Applications
Publicado: (2014) -
Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces
por: Molnár, L.
Publicado: (2007) -
Axiom of Choice
por: Herrlich, Horst
Publicado: (2006) -
Global Smoothness and Shape Preserving Interpolation by Classical Operators
por: Gal, Sorin G.
Publicado: (2005)