高阶谓词演算的英文翻译

英文翻译：【计】 high-order predicate calculus; higher order predicate calculus