Number systems and the foundations of analysis. - Mendelson, Elliott (New York Academic Press, Inc., 1973)