natural deduction
natural deduction是什么意思、natural deduction怎么读
【计】 自然演绎
natural deduction汉语翻译
【计】 自然演绎