逻辑中的表列方法
图书信息
书名：逻辑中的表列方法作者：孔红
包装：平装
开本：32
出版社：中国政法大学出版社
出版时间：2013-08-01
图书简介
《逻辑中的表列方法》深入浅出地介绍了表列方法的起源、发展与优点，针对命题逻辑、一阶逻辑、模态逻辑和非单调逻辑等不同分支，提出了相应的表列方法。本书运用严谨的逻辑语言，系统地论述了逻辑证明系统、表列系统和一阶等词理论等重要的逻辑概念。为读者展现了表列系统作为一种重要的逻辑方法在当今逻辑研究中日益受到重视的原因，并提出了对表列方法的改进与优化。 本书注重理论与实践相结合，为读者梳理了现代逻辑研究的脉络，使读者能够更加深入地了解逻辑系统的本质和表列方法的应用。
推荐理由
本书详尽地介绍了现代逻辑各个分支的表列方法，对表列系统进行了全面深入的系统阐述，注重理论和实践相结合，是逻辑学学习者及科研工作者的必备读物。
