结构证明论（第二版）
引用
收藏
作者：
马明辉 编著
ISBN：
9787030754745
出版日期：
2023-06
版次：
2
中图分类号：
B812.4
学科分类：
哲学
丛书：
附注信息：
阅读
图书简介：
证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 《结构证明论（第二版）》在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明. 《结构证明论（第二版）》还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算.
图书目录：
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由:
