Symbolic logic and the real number system. An introduction to the foundations of number systems.
Lightstone, Albert Harold.
New York; London, 
1966.