might be worth noting that "calculus by spivak" is famously mistitled and is what people today call an intro analysis text. (says so right in the intro :-)

there are now "warm up" books (alcock) as well as even more basic real analysis books (abbott, about half the length of spivak).