目录
引言
第一章 命题逻辑
第二章 命题演算
第三章 谓词逻辑
第四章 谓词演算
第五章 模态逻辑
第六章 悖论和集合论的公理化
第七章 语义学和模型论
第八章 内涵逻辑
第九章 证明论和不完全定理
第十章 递归论和判定问题
第十一章 归纳逻辑
现代逻辑是传统逻辑发展的最新阶段，是用形式化的方法研究思维的形式结构及其规律的学科。当今，现代逻辑处于蓬勃发展时期。几十年来，它的触须已伸向四面八方，与