second-order predicate calculus 📖 中文释义 [计] 二阶谓词演算 ← second-order polynomial S 字母词表 second-order reaction →