結(jié)構(gòu)證明論（第二版）

　　證明論是邏輯基礎理論的分枝. 結(jié)構(gòu)證明論是證明論的分枝，它研究演算中的分析性證明. 本書在介紹古典句子邏輯和直覺主義邏輯的基礎上，給出公理系統(tǒng)、自然演繹和矢列演算等不同類型的邏輯演算. 根據(jù)結(jié)構(gòu)的定義和結(jié)構(gòu)規(guī)則，區(qū)分不同類型的矢列演算，并且以切割消除為工具，給出了插值性質(zhì)、可判定性等問題的證明. 本書還介紹了一階邏輯、模態(tài)邏輯和代數(shù)邏輯的矢列演算.

暫缺《結(jié)構(gòu)證明論（第二版）》作者簡介