Cargando…

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...

Descripción completa

Detalles Bibliográficos
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