Reddit mentions of Vector Calculus

I thought that Marsden and Tromba was a pretty good book. It does a lot of stuff in n-dimensions, which you wouldn't need for E&M, but everything is there and it is computation oriented, rather than "proofy". You know it's good for physics because it has a picture of Newton on the front!

> Second and third semester calculus

Is this vector calc? If so I enjoyed this book as it's very geometric, not at all rigorous and has lots of worked examples and exercises. Sorry it seems to be so expensive -- it wasn't when I bought it, and hopefully you can find it a lot cheaper if it's what you're looking for.

In general Stewart's big fat calculus book is a nice thing to have for autodidacts.

Obviously what you describe might include analysis, which these books won't help with.

>Formal logic theory (Think Kurt Godel)

I've heard Peter Smith's book on Godel is good, but haven't read it. Logic is a huge field and it depends a lot on what your background is and what you want to get out of it. You may need a primer on basic logic first; I like this one but again it's quite personal.

http://www.amazon.co.uk/Vector-Calculus-Jerrold-Marsden/dp/0716749920/ref=dp_ob_title_bk Is supposed to be a good one and is recommended at uni.