non-logical methods 非逻辑方法
logical methods in mathematics 数学中的逻辑方法
Logical Methods in Computer Science 电脑科学逻辑方法期刊
They are related to the logical methods we have discussed in the last three chapters.
这三者分别与前三章所讨论的逻辑方法相联系。
So what we will deal with here is a further discussion of the logical methods examined before.
因而今天的课程也是前面对逻辑方法考察的继续和深入。
The logical investigation of the categorical system is based on the logical methods we have discussed before.
对范畴系统的这种逻辑考察是以前面讨论过的逻辑方法为基础的。
应用推荐