The number systems: foundations of algebra and analysis - Feferman, Solomon (Addison-Wesley, 1964)