Reals by abstraction (2000)

by B Hale
Venue:Philosophia Mathematica