symbolic and mathematical logic - English Synonyms Dictionary