如果您喜欢我的帖，就请加“+关注”哦  马上抢沙发
希望您喜欢我的免费发布  支持我 加我 关注我
https://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=3727866


【2015新书】Gentzen's Centenary, The Quest for Consistency

Book 图书名称： Gentzen's Centenary, The Quest for Consistency
Author 作者： Reinhard Kahle; Michael Rathjen
Publisher 出版社：Springer International Publishing
Page 页数：563
Publishing Date 出版时间： Sep 15, 2015                        
Language 语言： English
Size 大小： 3.7 MB
Format 格式： pdf 文字版
ISBN: 978-3-319-10103-3
Edition: 第1版 搜索过论坛，没有该文档

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.

== Table of contents ==
n/a


== 回帖见免费下载 ==

本帖隐藏的内容

The Quest for Consistency.pdf
大小:(3.63 MB)

 马上下载

声明： 本资源仅供学术研究参考之用，发布者不负任何法律责任，敬请下载者支持购买正版。

【KYCHAN】十月资源汇总帖203文档资源（回复参与奖励丰厚）
【KYCHAN】10月15日资源汇总帖 94 文档资源（回复参与奖励丰厚)
【KYCHAN】九月资源汇总帖 159文档资源（回复参与奖励丰厚)
【KYCHAN】九月15日资源汇总帖 70 文档资源（回复参与奖励丰厚)
【KYCHAN】八月资源汇总帖 157 文档资源（回复参与奖励丰厚）
请您加入我的【KYCHAN文库】 感恩
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=2819  欢迎您的订阅！