Transitioning to Higher Level Mathematics

I am just finishing grade 12 pre-calculus at my school and have strong interest in math. The problem is, it seems some important elements of higher level math are not in my schools curriculum that are sometimes taught in pre-calculus.

My school offers Calculus and uses Stewarts text. I am planning to take it but what I can't decide is whether or not I should be self studying logic / set theory / proofs before studying calculus at a post secondary level to be able to handle rigorous texts in post secondary like Spivak.

If I was to just go ahead and take the Calculus that my school offers would I be adequately prepared for first year post secondary calculus / linear algebra courses or would most of the proofs / set theory be taught in first year p.s. courses?

• You certainly should, as a matter of interest, do some mathematics that is more proof-oriented, rather than computation-oriented. I would not recommend going through "logic/ set theory/proofs" as a subject, but others might not agree. School calculus courses, specially those not subject to an external exam, can differ considerably even if they use the same text. Mastery of large parts of Stewart would be very useful for university. – André Nicolas Feb 24 '14 at 21:25
• Formal set theory and logic won't make much sense until you have more background in calculus and algebra. You will probably get all the set theory you will need in the introductory chapters of your textbooks. In 1st year, you will probably be introduced to few standard proofs, e.g. the so-called delta-epsilon proofs in calculus, some proof by induction in algebra. Then you will be ready to systematically learn other methods of proof. If you are chomping at the bit, you might play around with some proof software I have developed (free download at dcproof.com ) – Dan Christensen Feb 25 '14 at 6:40
• I think the book "Introductory Mathematics: Algebra and Analysis" by Geoff Smith is everything you're looking for. You can read the preface and some reviews at Amazon: amazon.com/… – etothepitimesi Mar 25 '14 at 4:19

I highly recommend these $3$ introductory books, in this order. They cover basic undergrad level math that you will definitely encounter in many undergraduate/graduate courses.