Title: Techniques of constructive analysis
Subjects: Mathematical analysis, Constructieve wiskunde