Title: Constructive Analysis
Subjects: Mathematical analysis, Functional analysis, Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations