Construction of the reals is in an appendix at the back. He starts with ordered field axioms.

Frankly there's something about the presentation in "discrete math" books that I find much more confusing and difficult than Spivak, which is just talking logically about numbers and their properties.