[fmoralesc]

I second the recommendation of checking the Teach Yourself Logic guides by Peter Smith, but I will give some more specific recommendations:

- Greg Restall - Logic (and he also gives some recommendations of his own that are worth checking out). If you use this, check the errata in Restall's website.

- Richard Jeffrey - Formal Logic: Its Scope and Limits (Smith has a textbook that is modelled largely after this, but Jeffrey's book is more to the point and fun to follow along)

- Daniel Velleman - How to Prove It, which has tons of good exercises for practicing symbolig logic in the context of the construction of proofs, and introduces some mathematics along the way.

[dmix]

Thanks, I wasn't familiar with the "Teach Yourself" series, that's going to help me on my path learning math/stats/probability theory.