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