FOL Synonyms

predicate calculus propositional calculus propositional logic first-order logic