higher order predicate calculus 📖 中文释义 [计] 高阶谓词演算 ← higher order precedence grammar H 字母词表 higher order reaction →