"Completeness Theory for Propositional Logics" - читать интересную книгу автора (Witold A. Pogorzelski, Piotr Wojtylak)