Completeness Theory for Propositional Logics - Pogorzelski, Witold A.; Wojtylak, Piotr; SpringerLink (Online service) (Basel : Birkhäuser Verlag AG, 2008)
Keywords: Mathematics; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations