logic-classes-1.4.7: Framework for propositional and first order logic, theorem proving