Constructive Analysis, Grundlehren der math. Wissenschaften 279 (1985)

by Errett Bishop, Douglas Bridges