Oh, yes, if you want to learn more about logic, I've listed several sites in the links section here at PF: http://www.physicsforums.com/local_l...links&catid=45
I don't know of a single book that really delivers everything, but the very best introduction to logic I've found is Wilfrid Hodges' Logic
. It's short, and he's seriously laugh-out-loud funny. He also combines informal conversation with formality and precision like a pro (something very hard to find).
Another solid introduction is Copi & Cohen's Introduction to Logic
. Your library should have at least one edition of this book (I think it's in its 12 edition- a real "classic"). You can just skip over whatever doesn't interest you.
For mathematical logic, Mendelson's and Shoenfield's both titled Introduction to Mathematical Logic
and Enderton's A Mathematical Introduction to Logic
are supposed to be good. I didn't really like the first two and haven't read the last (though it does look good). I use Machover's Set theory, logic and their limitations
. It's nice, but unless you have a professor, you will probably need a more verbose supplement. There are also many resources on the internet.
It doesn't sound like you really want to study mathematical logic much. An introduction to logic, a little symbolic logic, and a bit of mathematical logic should do the trick. You can accomplish that over the summer (you have two months left?) with Hodges, parts of Copi & Cohen, and those online resources.