Constructive Analysis - Bishop, Errett 1928-1983 (Grundlehren der mathematischen wissenschaften ;, 1985)