The foundations of analysis: a straightforward introduction - Binmore, K. G., 1940- (Cambridge University Press, 1980)