Structure of the real number system - Cohen Leon W. (1963)