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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Bridges, Douglas S. (Author), Vita, Luminita Simona (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: New York, NY : Springer New York : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Universitext,
Subjects:
Mathematical logic.
Mathematical analysis.
Functions of real variables.
Functional analysis.
Operator theory.
Mathematical Logic and Foundations.
Analysis.
Real Functions.
Functional Analysis.
Operator Theory.
Online Access:Texto Completo

Internet

Texto Completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items