杨长福//吕进//于宇//徐光霞的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
现代逻辑导引
杨长福//吕进//于宇//徐光霞
评分 暂无
《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分:第一部分简略地介绍了传统逻辑学的基本内容，主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容，主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容，主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的
