Completeness Theory for Propositional Logics - Pogorzelski, Witold A., author (Basel Birkhäuser Basel, 2008)
Mathematics and Statistics (Springer-11649)
Keywords: Logic, Symbolic and mathematical; Mathematical Logic and Foundations; Mathematics; Mathematics