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