...us 第二阶述词演算 ; 二阶谓词演算 higher order predicate calculus 较高阶述词演算 predicate calculus wff 谓词演算合适公式 ..
基于1个网页-相关网页
predicate calculus wff
谓词演算
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动