Foundation of costructive analysis - Errett Bishop - BISHOP, Errett (McGraw Hill Book Company, 1967)