一阶谓词逻辑翻译的英文

汉语拼音：

【拼音】 yī jiē wèi cí luó jí

英语翻译：

【计】 first-order predicate logic

分词翻译：

一阶的英语翻译：

谓词逻辑的英语翻译：