Foundations of constructive analysis. - Bishop, Errett 1928- (Mc Graw-Hill, 1967)