Techniques of constructive analysis - Bridges, D. S. (Douglas S.) 1945- (Universitext, 2006)