Главная
»
Boolean Axioms
The axioms notebook in the logic.booleans.negation theory package ...