Real analysis and foundations - Krantz, Steven G. 1951- (Chapman & Hall/CRC, 2005)