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