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