结构证明论（第二版）

全新正版现货

54.4 6.1折 89 全新

仅1件

四川成都

认证卖家担保交易快速发货售后保障

作者马明辉

出版社科学出版社

ISBN9787030754745

出版时间2023-12

装帧平装

开本16开

纸张胶版纸

定价89元

货号29596099

上书时间2024-07-09

已实名已认证进店收藏店铺

商品描述: 【内容】:证明论是逻辑基础理论的分枝. 结构证明论是证明论的分枝，它研究演算中的分析性证明. 本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算. 根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明. 本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算.

— 没有更多了 —