Constructive Analysis, vol. 279 of Grundlehren der mathematischen Wissenschaften, A series of Comprehensive Studies in Mathematics (1985)

by E Bishop, D Bridges