The Foundations of Analysis by K.G. Binmore