fopl

Synonyms

propositional calculus predicate calculus propositional logic