Logic: A Modern Introduction to Deductive Reasoning