Reddit reviews Language, Proof and Logic, 2nd Edition

My personal favorite: Language, Proof and Logic, 2nd Edition by David Barker-Plummer, Jon Barwise and John Etchemendy. It's both a software package and textbook.

I struggled really hard as well (we share a tag). What I ended up doing was just slowly working through Language, Proof, and Logic over the summer. Like, hours a day. That's obscene, in retrospect. The book is pricey, but it comes with a nice program which includes Tarski's World, a truth table program, and a deductive logic program which is automatically graded for you.

I'm hitting myself for not remembering it, but I know there is a professor somewhere running an amazing website with a bunch of collected logic study aids. Maybe try searching the subreddit for it?

Edit: Yo, found it. http://www.logicmatters.net/students/tyl/ run by Prof. Peter Smith (Cambridge)

Barwise and Etchemendy is pretty good for a first exposure: http://www.amazon.com/Language-Proof-Logic-2ND-Edition/dp/1575866323

I have this textbook from when I took it online a couple years ago. You can have it for $20

I recommend this to all beginners -- I like the Barwise & Etchemendy book because it's aimed at people with no background at all in logic or upper-level math, it's restricted to propositional and first-order logic (which I think logicians of all stripes should know), and it comes with proof-checker software so that you can check your own understanding instead of needing to find someone to give you feedback.

After that, you'll have some familiarity with the topic and can decide where you want to go. For a more mathematical route, I think Enderton (mentioned previously) or Boolos are good follow-ups. For a more philosophical route, I think Sider or Priest are good next steps.