The Power of Logic (Frances Howard-Snyder, Daniel Howard-Snyder, and Ryan Wasserman)
This is a widely used text that covers a range of topics beyond formal logical systems. You can construct several different courses by selecting different chapters.
Covers basic concepts in argument analysis, issues involving logic and language (meaning, definitions), informal fallacies, categorical logic, propositional logic, predicate logic, and several topics in inductive logic.
Texts like this are a great reference to have if you're curious about what formal logic is all about or need a refresher from your college classes. They tend to be strong on the formal logic elements and weaker in other areas (informal fallacies, inductive logic).