Presents a careful treatment of calculus and its theoretical underpinnings from the constructivist point of view. This leads to an important and unique feature of this book: all existence proofs are direct, so showing that the numbers or functions in question exist means exactly that they can be explicitly calculated.