Since books are being recommended, I’d like to recommend chapter 7 of my book “Numbers”. This gives a rigorous while (I think) intuitive treatment of reals using infinite decimals, based on the properties of finite decimals from the previous chapter. The book ends with completre ordered fields. Melvin Fitting