wolphin wrote:
If you intend on really grokking calc at the level for vector calc and calc-based e&m, there's no better non-textbook then Div, Grad, Curl, and All That
I found it very interesting, even though I considered myself very proficient at the vector calc, having taken classes partial differential equations/advanced EM/differential geometry and manifolds, I thought the explanation and problems in that book were more insightful than any other.
I'm also curious about the Computability and Logic. Assuming you mean the new one by boolos et al, I haven't read it but I'd like to. I've read only graduate-level text books in logic and frankly sometimes it seems they make logic & undecidability of arithmetic more complicated than it needs to be.
Also it totally sticks out on your list, it's very different from any of the others.
I have another logic book. I recommend Proof,Logic and Conjecture which is an undergraduate book I have by Robert Wolf. I found it to be quite useful and it might bridge the gap. I think I did get the boolos one thought I am not sure if it is the new one or an old edition. I tend to buy used textbooks for 4 bucks a piece, so I almost always am 1-2 editions behind the curve. Sometimes I am lucky and get an old new one (where the last edition has been out for 1-2 years and the new edition is about to be released).
This way I got 30 textbooks for around 150 bucks.
24 Dec 2008, 6:00 am
