madio 发表于 2020-7-21 07:58

基础证明理论第二版（英文），自动定理证明和对逻辑程序设计感兴趣的读者必读！

有几本关于证明理论的专著（Schiette，Takeuti，波勒斯），灵感来自希尔伯特的计划和问题这就产生了，比如“测量”分析子系统的强度关于可定义井序的超限归纳法的可证实例（更准确地说，是序数符号）。波勒斯尤其如此
推荐作为证明理论这一分支的导论。吉拉德提出了一个更广泛的证明理论全景图。


页: [1]
查看完整版本: 基础证明理论第二版（英文），自动定理证明和对逻辑程序设计感兴趣的读者必读！