>

higher order logic

📖 中文释义

  1. [计] 高阶逻辑
H 字母词表