Symbolic logic and the real number system : an introduction to the foundations of numbersystems. - Lightstone, A. H. (Harper international student reprints, 1965)