Constructive analysis, volume 279 of Grundlehren der Mathematischen Wissenschaften (1985)

by Errett Bishop, Douglas Bridges