[数]?二阶谓词演算
二阶谓词逻辑 second-order predicate logic 二阶谓词演算 second-order predicate calculus 二阶线性微分方程 second-order linear differential equation ..
第二阶述词演算
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。