Symbolic logic and the real number system; an introduction to the foundations of number systems - Lightstone, A. H. (Harper's series in modern mathematics / I. N. Herstein and Gian-Carlo Rota, editors, 1965)