Techniques of Constructive Analysis door Douglas S. Bridges & Luminita Simon Vita