I have Stewart's Calculus: Early Trascendentals, but I have heard that others are better at proofs and analysis. Which ones would you suggest?