At UofT the first year math for the math and physics program is mat157, an introductory calculus analysis course where "Calculus" by Spivak is used. How can one prepare oneself for such a course? Where can one obtain a good knowldedge of proof techniques and anything else inorder to do well in this course? The problem is in highschool we never touched much on proofs, or questions in the style of Spivak's Calculus. Any advice?