symbolic logician

noun

1.
a person skilled at symbolic logic