What's the best book to study analysis after finishing Spivak's Calculus? I thought about Rudin's Principles of Mathematical Analysis(Which I guess would be much boring for me, but I don't have it so I can't tell if my supposition is right or not), Stein and Shakarchi's Real Analysis, Terence Tao's Analysis(if you recommend it, tell me which edition is the 'right', please) or Pugh's Real Mathematical Analysis?
Additional info about my purpose: - I tend to seek elegance in proofs. - I want to grasp concepts the most deeply possible. - I don't like books that just jump steps without clear explanation, but I don't like books that are boring(books that focus too much in rigor, in the steps, in the "you can prove it this way". I like rigor and it's what - - - I'm seeking, but sometimes authors make it boring. I don't know if I made me intelligible). - However, I want books that make me try to 'rediscover the subject'; mean, books that make me think hard on the subject even before he explains the matter. - Books with super hard exercises are welcome.