Real analysis and foundations - Krantz, Steven G. 1951- (Studies in advanced mathematics, 2005)