什么是 mathematical linguistics
中文解释:数理逻辑