Foundations of analysis (Rhode Island; AMS, 2012)