A rigorous and proof-intensive course in multivariable calculus for students with a serious interest in mathematics.  Topology of metric spaces; compactness, functions and continuity, the extreme value theorem. Derivatives; inverse and implicit function theorems, maxima and minima. Integration; Fubini's theorem, partitions of unity, change of variables. Integration on manifolds; Stokes' theorem.