一阶逻辑语言相关硕士博士期刊学术论文

本文以一种典型的形式化方法——逻辑化方法为研究方向，研究如何应用计算机程序证明数学定理。具体地说，如何通过一套逻辑符号体系将......