classical logic Synonyms

formal logic predicate calculus propositional calculus propositional logic