Introduction to Formal Logic

Rigorous, yet friendly and accessible, Introduction to Formal Logic provides a nuts-and-bolts introduction to formal deductive logic, covering syntax, semantics, and natural deduction for propositional and predicate logics. Over 2,000 graduated in-text exercises offer a wealth of material for in-class work, homework, and additional practice. A full suite of instructor resources, plus an open-access companion website and additional logic exercises in Dashboard, Oxford's simple, informative, and mobile-friendly online homework platform, complete the package.
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 by Marcus Russell, an extended version of Introduction to Formal Logic with extra Philosophical Applications that incorporates two chapters of stand-alone essays on logic and its application in philosophy and beyond.