An Introduction to Formal Logic: Second Edition