Oh yeah, I'm not saying Spivak's Calculus doesn't provide good training in proofs. I really didn't even get far enough to tell whether it did or not, in which case, feel free to disregard my comment as uninformed. But to be more specific about my "not liking", I just found the part I did read to be more opaque than engaging or intriguing, as I've found other texts (like Strang's Linear Algebra, for instance).

Edit: Also, I'm specifically responding to statements that I thought referring to liking the book in the enjoyment sense (expressed on this thread and elsewhere as well). If that's not the kind of liking they meant, then my comment is irrelevant.

It's a much more advanced book, more suitable for a deeper review somewhere at the intermediate or advanced undergraduate level. I think Axler's "Linear Algebra Done Right" is better as a second linear algebra book (though it's less comprehensive), after a more serious real analysis course (i.e. not just Spivak) and an intro complex analysis course.

Damn, really?? But I hate it when math books (and classes) effectively say "assume this is true" rather than delve into the reason behind things, and those reasons aren't explained until 2 classes later. Why is it not more pedagogically sound to fully learn something rather than slice it into shallow, incomprehensible layers?