Logistician

A person skilled at symbolic logic