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