Oh I completely forgot about it.
It is rival of John Lee, but has distinctive pros & cons relatively
(meaning that both books are somewhat masterpiece)
John Lee:
-pros: Relatively easy to learn despite being in GTM (reads like UTM), nice set of examples to work through, topological aspects are not too shallow (he uses smooth covering maps), one of the best book for Lie groups (except books specializing in Lie groups of course)
-cons: too slow in some sense, not a good reference, relatively not too good to give good insights
Spivak Vol 1:
-pros: Nice insights (just like all of his books! (except little spivak, but oh well you need to deduce it!)), Master of exercises!
-cons (not my opinion, but amazon people's): relatively outdated in terms of teaching
I have John Lee, but maybe some day I should get Spivak Volume 1