second-order predicate logic

网络释义

1.	二阶谓词逻辑一阶谓词逻辑,first-order... ... ) second-order predicate logic 二阶谓词逻辑 ) third order predicate logic 三阶谓词逻辑 ... www.dictall.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。