Real analysis and foundations - Krantz,Steven G. (Textbooks in mathematics., 2014)