Continuity and nondiscontinuity in constructive mathematics (1991)

by Hajime Ishihara
Venue:J. Symbolic Logic