Αποστολή με SMS: Completeness Theory for Propositional Logics