first-order predicate logic
first-order predicate logic是什么意思、first-order predicate logic怎么读
【计】 一阶谓词逻辑
first-order predicate logic汉语翻译
【计】 一阶谓词逻辑