出版社：科学出版社
年代：2019
定价：68.0
结构证明论研究形式系统中证明的结构.本书介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.甘岑式矢列演算的基本定理是切割消除.运用证明论研究方法,通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等等.本书还介绍了经典模态命题逻辑以及一些代数逻辑的结构证明论.
| 书籍详细信息 | |||
| 书名 | 结构证明论站内查询相似图书 | ||
| 9787030616012 如需购买下载《结构证明论》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN | |||
| 出版地 | 北京 | 出版单位 | 科学出版社 |
| 版次 | 1版 | 印次 | 1 |
| 定价(元) | 68.0 | 语种 | 简体中文 |
| 尺寸 | 24 × 17 | 装帧 | 平装 |
| 页数 | 255 | 印数 | |
结构证明论是科学出版社于2019.6出版的中图分类号为 B812.4 的主题关于 证明－高等学校－教材 的书籍。