Constructive analysis - Bishop, Errett 1928-1983 (Grundlehren der mathematischen Wissenschaften, 1985)