高等学校逻辑学专业系列教材 结构证明论 第2版
作者: 马明辉编著；刘虎主编
出版社: 科学出版社
出版日期: 2023.06
ISBN-13: 9787030754745
ISBN-10: 7030754743
页数: 247
原书定价: 89.00
开本: 16开
丛书名: 高等学校逻辑学专业系列教材
主题词: 证明·高等学校·教材
中图分类号: B812.4
中图分类名: 哲学、宗教›逻辑学（论理学）›形式逻辑（名学、辩学）›论证与反驳
证明论是逻辑基础理论的分支，结构证明论是证明论的分支，它研究演算中的分析性证明，本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算，根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割…目录仅对会员开放。