Symbolic Logic and the Real Number System - Lightstone, A. H.