Number Systems and the Foundations of Analysis - Mendelson, Elliott (Dover Publications New York, 2008)