The real number system - Olmsted, John M. H. (Appleton Century Crofts, 1962)