Logician

A person skilled at symbolic logic