>

predicate calculus language

📖 中文释义

  1. [计] 谓词演算语言
P 字母词表