Foundations of mathematical analysis - Truss, J. K. (Oxford science publications, 1997)