A H. Lightstone

• Symbolic logic and the real number system