Structure of the real number system - Cohen, Leon, W.