Propositional_Logic_Class

Implication_Logic

Classical_Logic

Classical_Logic_Completeness

List_Utilities

Classical_Connectives