Number Systems and the Foundations of Analysis by Underwood Dudley & Elliott Mendelson