second-order 📖 中文释义 [计] 二阶逻辑; 二阶谓词演算 ← second-normal form S 字母词表 second-order asymmetric transformation →