Title: Constructive Analysis (Grundlehren der mathematischen Wissenschaften)