The number systems foundations of algebra and analysis - Feferman, Solomon 1928- (AMS Chelsea Publ., 2003)