In this class we present a rigorous approach to basic theorems in calculus. Since rigorous reasoning in Mathematics is based on Mathematical Logic, we will start with a Brief Review of Mathematical Logic. This is Chapter Two in the class lecture notes.