The real numbers and real analysis - Bloch, Ethan D. 1956- (Springer, 2011)