谓词演算语言翻译

英语翻译：

【计】 predicate calculus language

分词翻译：

谓词演算的英语翻译：

【计】 predicate calculus

语言的英语翻译：

language; parole; talk
【计】 EULER EULER; L; language; LUCID LUCID; Modula; vector FORTRVN
【医】 speech