A constructive look at the real number line (1994)

by D S Bridges
Venue:in Synthèse: Real Numbers, Generalizations of the Reals and Theories of Continua