Symbolic logic and the real number system : an introduction to the foundations of number systems - Lightstone A H (1965)