Real Analysis: A Constructive Approach

This innovative text sets forth a thoroughly rigorous modern account of the theoretical underpinnings of calculus: continuity, differentiability, and convergence. Using a constructive approach, every proof of every result is direct and ultimately computationally verifiable. The ultimate consequence of this method is that it makes sense-whether you're a math major or student in any branch of the sciences.