Propositional Logics Third Edition by Richard L. Epstein