文件名称:Proofs_and_Computations_(Perspectives_in_Logic)-C
- 所属分类：
- 数学计算/工程计算
- 资源属性：
- [PDF]
- 上传时间：
- 2012-11-26
- 文件大小：
- 2.53mb
- 下载次数：
- 0次
- 提 供 者：
- sans_*****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
Proofs and Computations
Driven by the question “What is the computational content of a (formal) proof?”, this
book studies fundamental interactions between proof theory and computability. It
provides a unique self-contained text for advanced students and researchers in
mathematical logic and computer science.
Driven by the question “What is the computational content of a (formal) proof?”, this
book studies fundamental interactions between proof theory and computability. It
provides a unique self-contained text for advanced students and researchers in
mathematical logic and computer science.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Helmut_Schwichtenberg__Stanley_S._Wainer-Proofs_and_Computations_(Perspectives_in_Logic)-Cambridge_University_Press(2012).pdf