symbolic logic Synonyms

logistic Boolean algebra formal logic mathematical logic