Constructive analysis. Grundlehren der mathematischen Wissenschaften (0)

by Errett Bishop, Douglas Bridges