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

[复制链接]

字体大小: 正常放大

madio

3万主题	1310 听众	5万积分

TA的每日心情

	奋斗 2024-7-1 22:21

签到天数: 2014 天

[LV.Master]伴坛终老

自我介绍: 数学中国站长

群组: 数学建模培训课堂1

群组: 数学中国美赛辅助报名

群组: Matlab讨论组

群组: 2013认证赛A题讨论群组

群组: 2013认证赛C题讨论群组

电梯直达

1^#

发表于 2020-7-21 07:58 |只看该作者 |倒序浏览

|招呼Ta 关注Ta |邮箱已经成功绑定

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