Number systems and the foundations of analysis - Mendelson, Elliott (Dover, 2001)