Structure of the real number system : A programmed introduction - Baum John D. (1967)