constructive logic
constructive logic是什么意思、constructive logic怎么读
【计】 构造性逻辑
constructive logic汉语翻译
【计】 构造性逻辑