The structure of the real number system - Cohen, Leon W. (University series in undergraduate mathematics, 1963)