His book Calculus takes a very rigorous and theoretical approach to introductory calculus. It is used in calculus courses, particularly those with a pure mathematics emphasis, at many universities.
Spivak's book Calculus on Manifolds (often referred to as little Spivak) is also rather infamous as being one of the most difficult undergraduate mathematics textbooks.
eBook A Comprehensive Introduction to Differential Geometry, Vol. 1