Continuity and nondiscontinuity in constructive mathematics (1991)

by H Ishihara
Venue:J. Symbolic Logic