Real analysis and foundations - Krantz, Steven G. (Steven George) 1951- (Textbooks in mathematics, 2014)