Constructive Analysis, Springer-Verlag (1985)

by E Bishop, D Bridges