The number systems; foundations of algebra and analysis - Feferman, Solomon (Addison-Wesley series in mathematics, 1964)