Yet another introduction to analysis - Bryant, Victor (new york cambridge, 1996)