高阶谓词演算

【计】 high-order predicate calculus; higher order predicate calculus

高的英语翻译：

high; high-priced; lofty; loud; tall
【医】 homo-; hyper-; hypsi-; hypso-; per-

阶的英语翻译：

rank; stairs; steps
【计】 characteristic
【医】 scala

谓词演算的英语翻译：

【计】 predicate calculus