high-order predicate calculus

high-order predicate calculus是什么意思、high-order predicate calculus怎么读
【计】 高阶谓词演算

high-order predicate calculus汉语翻译

【计】 高阶谓词演算