Anfonwch hwn fel neges destun: Completeness theory for propositional logics