Real analysis and foundations - Krantz, steven G (CRC, 1991)