Real analysis and foundations - Krantz, Steven George (Studies in advanced mathematics, 1991)