本站原创PeterAczel
ProofTheory
2008；
Paperback
ISBN9780521054164
P.阿克泽尔等编
这是一本论文集,它汇集了在证明理论国际夏季学校和会议上宣读的10篇论文.这次极为成功的夏季学校及会议是1990年7月24-8月2日在英国利兹大学举行的.它们得到了英国科学与工程研究委员会(SERC)“信息技术逻辑学”(Logfit)倡议的支持,并且与利兹理论计算科学中心(CTCS)合作.
这10篇论文是：1.基本证明理论.作者是英国利兹大学纯数学系的S.Wailler和牛津大学计算机实验室的L.Wallen.正如论文标题所暗示的,它的目的是以最简单的方式介绍证明理论的重要概念,例如纯谓词逻辑中的完整性与截消、自然演绎核心部分中的CurryHoward对应及正规化、1-归纳算术；2.序列分析短课程；3.充当程序的证明.作者是德国慕尼黑大学数学研究所的H.Schwichtenberg.作者仔细地研究了建立在形式证明基础上的编程语言理论可能性及限制；4.一个局部直谓经简化的版本；5.关于自助法直觉主义受囿算术的笔记；6.终止次序关系与复杂性特征；7.功能程序终止与正确性逻辑Ⅱ：强度PRA逻辑；8.反射证明语义学思考；9.有关KripkePlatek集合论与无穷的片段；10.关于抽象结构的可证明、可计算选择函数.
本书于1992年首次出版,2008年出数字印刷版.本书对证明理论极有价值的介绍是专门针对数学家和计算机科学家的.
胡光华,
高级软件工程师
(原中国科学院物理学研究所)
HuGuanghua,SeniorSoftwareEngineer
(FormerInstituteofPhysics,CAS)