Symbolic logic and the real number system an introduction to the foundations of number systems - Lightstone, A. H. (New York Harper and Row, 1965)
Keywords: Arithmetic--Foundations.; Logic, Symbolic and mathematical