higher order predicate calculus
higher order predicate calculus是什么意思、higher order predicate calculus怎么读
【计】 高阶谓词演算
higher order predicate calculus汉语翻译
【计】 高阶谓词演算