Mathematical Analysis and the Mathematics of Computation

This book is a comprehensive, unifying introduction to the field of mathematical analysis and the mathematics of computing. It develops the relevant theory at a modern level and it directly relates modern mathematical ideas to their diverse applications.

The authors develop the whole theory. Starting with a simple axiom system for the real numbers, they then lay the foundations, developing the th...