Continuity properties in constructive mathematics (1992)

by H Ishihara
Venue:J. Symbolic Logic