本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。
本书共六部分，分上、下两册。上册包括绪论、第一章和第二章。绪论对数理逻辑的性质，逻辑演算的大概内容。以及阅读以后各，所需要的预备知识作了简要的说明。第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。
本书可以用作数学专业和其他专业数理逻辑课程的教材或教学参考书，或供有关工作人员参考。当用作其他专业的教材时，内容可删减。使用本书时一般要求读者具有相当于大学高年级程度的数学训练。

序
使用说明
绪论
§00 数理逻辑
§01 逻辑演算(一)
§02 逻辑演算(二)
§03 集的基本概念
§04 数学归纳法
第一章 演绎逻辑的基本规则
§10 命题逻辑P的形成规则
§11 P的形式推理规则
§12 命题逻辑P*
§13 P和P*的关系
§14 命题常元、谢孚竖
§15 谓词逻辑F和F*的形成规则
§16 F和F*的形式推理规则
§17 函数词、等词
§18 摹状词
§19 偏函数
第二章逻辑演算的系统特征
§20 等值公式的可替换性
§21 逻辑词的可定义性
§22 命题连接词的接近性和独立性
§23 代人定理
§24 合取范式和析取范式
§25 前束范式和斯柯伦范式
§26 根岑系统和对偶性
§27 无嵌套范式
§28 逻辑演算的归约
符号汇编(上册)