Handbook of Proof Theory, Volume 137 2024 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

Handbook of Proof Theory, Volume 137 2024 pdf epub mobi 电子书著者简介

Handbook of Proof Theory, Volume 137 电子书图书目录

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-26

Handbook of Proof Theory, Volume 137 2024 pdf epub mobi 电子书

喜欢 Handbook of Proof Theory, Volume 137 电子书的读者还喜欢

Handbook of Proof Theory, Volume 137 电子书读后感

评分☆☆☆☆☆

类似图书点击查看全场最低价

出版者:Elsevier Science

作者:Buss, Samuel R. 编

出品人:

页数:810

译者:

出版时间:1998-7-23

价格:USD 195.00

装帧:Hardcover

isbn号码:9780444898401

丛书系列:Studies in Logic and the Foundations of Mathematics

图书标签: 数理逻辑数学 nemlophics

Handbook of Proof Theory, Volume 137 2024 pdf epub mobi 电子书图书描述

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Handbook of Proof Theory, Volume 137 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

Handbook of Proof Theory, Volume 137 2024 pdf epub mobi 用户评价

评分☆☆☆☆☆

目前读过前两章，这两章基本上可以看作是对证明论的一个基本介绍。前两章的作者都是Buss，他在处理一些经典材料的时候还是采用了经典的惯例。第一章中也有些原创性的推广，比如给出了类似于Takeuti提出的free-cut elimination的证明长度的界，但在本章中的证明是不正确的，他和A. Beckmann在11年在TCS上直接发表了该定理的加强版并给出了证明，有兴趣可以参考doi 10.1016/j.tcs.2011.05.053。此外，前两章对一些非经典逻辑的介绍过于简略，感兴趣者还应该参考其他专著，此外前两章还有不少typo也需要注意。

评分☆☆☆☆☆