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