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