Generalized real numbers in constructive mathematics (1998)

by Fred Richman
Venue:Indag. Math