在数理逻辑中研究的主要对象是各种演算。
In mathematical logic in the study is the main target of all kinds of calculus.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
应用推荐