二阶谓词演算翻译

英语翻译：

【计】 second-order predicate calculus

分词翻译：

二的英语翻译：

twin; two
【计】 binary-coded decimal; binary-coded decimal character code
binary-to-decimal conversion; binary-to-hexadecimal conversion
【医】 bi-; bis-; di-; duo-

阶的英语翻译：

rank; stairs; steps
【计】 characteristic
【医】 scala

谓词演算的英语翻译：

【计】 predicate calculus