Symbolic logic and the real number system : an introduction to the foundations of number systems - Lightstone, A. H. (Harper's series in modern mathematics, 1965)