Mathematical Logic through Python — API¶
- logic_utils module
- prelim namespace
- propositions namespace
- propositions.axiomatic_systems module
- propositions.deduction module
- propositions.operators module
- propositions.proofs module
- propositions.reductions module
- propositions.semantics module
- propositions.some_proofs module
- propositions.soundness module
- propositions.syntax module
- propositions.tautology module
- predicates namespace