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