Symbolic logic and the real number system - Lightstone A H (1965)
Keywords: Logic; Integer