Foundations of constructive analysis - Errett Bishop - BISHOP, Errett (McGraw Hill, 1967)