一阶谓词演算翻译的英文

汉语拼音：

【拼音】 yī jiē wèi cí yǎn suàn

英语翻译：

【计】 first order predicate calculus; first-order predicate calculus

分词翻译：

一阶的英语翻译：

谓词演算的英语翻译：