first-order logic
first-order logic是什么意思、first-order logic怎么读
【计】 一阶逻辑
first-order logic汉语翻译
【计】 一阶逻辑