数学建模社区-数学中国

标题: 基础证明理论第二版（英文），自动定理证明和对逻辑程序设计感兴趣的读者必读！ [打印本页]
作者: madio    时间: 2020-7-21 07:58
标题: 基础证明理论第二版（英文），自动定理证明和对逻辑程序设计感兴趣的读者必读！
有几本关于证明理论的专著（Schiette[19601977]，Takeuti[1987]，波勒斯[1989]），灵感来自希尔伯特的计划和问题这就产生了，比如“测量”分析子系统的强度关于可定义井序的超限归纳法的可证实例（更准确地说，是序数符号）。波勒斯[1989]尤其如此
9 _' y0 f2 j6 @7 i9 }1 ?推荐作为证明理论这一分支的导论。吉拉德[1987b]提出了一个更广泛的证明理论全景图。
3 @; I$ j# r$ M1 N' m7 [4 L8 D5 h& n; T- m: ]0 {9 Q, V

6 R1 W" ~6 F; i! u. c, x

basic proof theory.pdf

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

售价: 5 点体力  [记录]





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