Constructive Analysis (1985)

by E Bishop, D Bridges