symbolic logician

definition: a person skilled at symbolic logic
example:
speech part: noun
synonyms: logician

How symbolic logician is being used?