Real analysis and foundations - Krantz, Steven G (1991)