Text this: Introduction to Formal Logic.