Title: Techniques of Constructive Analysis (Universitext)
Subjects: Mathematical analysis, Operator theory, Functional analysis, Mathematics, Global analysis (Mathematics), Symbolic and mathematical Logic, Mathematical Logic and Foundations, Analysis, Real Functions