>

first-order predicate logic

📖 中文释义

  1. [计] 一阶谓词逻辑
F 字母词表