Text this: Analysis : with an introduction to proof /