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

by Errett Bishop, Douglas S Bridges