Symbolic logic and the real number system; an introduction to the foundations of number systems - Lightstone, A. H. (Harper and Row, 1965)