?第二阶述词演算
unary predicate calculus 单述词演算 second predicate calculus 第二阶述词演算 ; 二阶谓词演算 higher order predicate calculus 较高阶述词演算 ..
数 二阶谓词演算
第二阶述词演算
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。