Foundations of constructive analysis.
Bishop, Errett.
New York; London, 
[1967]