en predicate calculus
― IsA ⟶
Weight: 1.0
en logical calculus (n) Source: English Wiktionary
en propositional calculus
― IsA ⟶
Weight: 1.0
en logical calculus (n) Source: English Wiktionary