第一章 非形式的命题演算

1.1命题和联结词

1.2 真值函数和真值表

1.3 运算和代入规则

1.4 范式

1.5 联结词的完全集

1.6 论证和有效性

第二章 形式的命题演算

2.1 形式系统L

2.2 L的完备性定理

3.1 谓词和量词

3.2 一阶语言

第三章 非形式的谓词演算

3.3 解释

3.4 满足，真

第四章 形式的谓词演算

4.1 形式系统K

4.2 等值，代入

4.3 前束范式

4.4 K的完备性定理

4.5 模型

第五章 数学系统

5.1 引论

5.2 带等号的一阶系统

5.3 群论

5.4 一阶算术

5.5 形式集合论

5.6 一致性和模型

第六章 哥德尔不完全性定理

6.1 引论

6.3 递归函数和递归关系

6.4 哥德尔数

6.5 不完全性的证明

第七章 可计算性，不可解性，不可判定性

7.1 算法和可计算性

7.2 图灵机

7.3 字问题

7.4 形式系统的不可判定性

附录 可数集和不可数集

部分习题的提示和解答

参考书目

符号表