Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic [Paperback]