Skillful Reasoning

An Introduction to Formal Logic
and Other Tools for Careful Thought