Rigorous yet intuitive and accessible,
Introduction to Formal Logic provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics.
For instructors who want to go beyond a basic introduction to explore the connection between formal logic techniques and philosophy, Oxford also publishes
Introduction to Formal Logic with Philosophical Applications, an extended version of this text that incorporates two chapters of stand-alone essays on logic and its application in philosophy and beyond.