First course in real analysis - Protter, M. H. (Springer, 1991)