Real analysis and foundations - Krantz, Steven G (Textbooks in Mathematics, 2015)