Introduction to Logic: Propositional Logic, Revised Edition (3rd Edition)