数学建模社区-数学中国

标题: 基础证明理论第二版（英文），自动定理证明和对逻辑程序设计感兴趣的读者必读！ [打印本页]
作者: madio    时间: 2020-7-21 07:58
标题: 基础证明理论第二版（英文），自动定理证明和对逻辑程序设计感兴趣的读者必读！
有几本关于证明理论的专著（Schiette[19601977]，Takeuti[1987]，波勒斯[1989]），灵感来自希尔伯特的计划和问题这就产生了，比如“测量”分析子系统的强度关于可定义井序的超限归纳法的可证实例（更准确地说，是序数符号）。波勒斯[1989]尤其如此
# X0 Z& \' y4 q+ z6 S* M8 d$ T推荐作为证明理论这一分支的导论。吉拉德[1987b]提出了一个更广泛的证明理论全景图。6 m  l* d& R) L
6 C/ T+ X- [) v7 y+ T0 }. C1 }- Y
4 H; e. e6 A" Q* r

basic proof theory.pdf

6.14 MB, 下载次数: 2, 下载积分: 体力 -2 点

售价: 5 点体力  [记录]





欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5