structure mathematical logic
结构数理逻辑
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.
数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
youdao
应用推荐
模块上移
模块下移
不移动