Constructive analysis, Grundlehren (1985)

by ERRETT BISHOP, DOUGLAS BRIDGES