Epstein, Richard L: Propositional Logics Third Edition