WordNet: symbolic logician

Sanatista
a person skilled at symbolic logic



symbolic logician