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