书目信息 机读格式(MARC)
结构证明论
| ISBN/价格： | 978-7-03-061601-2:CNY88.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 结构证明论/.马明辉编著 |
| 出版发行项： | 北京:,科学出版社:,2019.6 |
| 载体形态项： | xii, 254页:;+图:;+24cm |
| 丛编项： | 高等学校逻辑学专业系列教材 |
| 提要文摘： | 本书介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算, 它们是结构证明论的基础理论。甘岑式矢列演算的基本定理是切割消除。运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质, 如子公式性质、可判定性、插值性质等等。本书还介绍了经典模态命题逻辑以及一些代数逻辑的结构证明论。 |
| 题名主题： | 证明 高等学校 教材 |
| 中图分类： | B812.4 |
| 个人名称等同： | 马明辉 编著 |
| 记录来源： | CN 湖北三新 20190705 |