第一章 集合与关系 1
1.1．康托的集合概念 2
1.2．直觉集合论的基础 4
1.3．包含 11
1.4．集合运算 14
1.5．集合代数 19
1.6．关系 28
1.7．等应关系 35
1.8．函应 40
1.9．合成函应与反函应 45
1.10．次序关系 51
第二章 逻辑 61
2.1．语句演算——语句连词 62
2.2．语句演算——真值表 66
2.3．语句演算——有效性 73
2.4．语句演算——有效归结 85
2.5．语句演算——应用 95
2.6．述语演算——日用语言的翻译 101
2.7．述词演算——一个塑造 110
2.8．述词演算——有效性 116
2.9．述词演算——有效归结 126
3.1．设基理论的概念 133
第三章 设基理论 133
3.2．非形式设基 138
3.3．在集合论系络内的非形式理论 144
3.4．非形式理论的其它特色 147
3.5．形式设基理论 157
3.6．当形式设基理论的语句演算 159
3.7．当形式设基理论的述词演算 165
3.8．一阶设基理论 168
3.9．後设数学 175
4.1．一布氏代数的定义 183
第四章 布氏代数 183
4 2．一布氏代数的若干基本性质 186
4.3．布氏代数理论的另一塑造 190
4 4．布氏代数的相合关系 196
4.5．布氏代数的表现 204
4.6．当布氏代数的语句演算 211
4.7．自由布氏代数 212
史陶著“集合论与逻辑”一书目录 217
英中名词对照 223
中英名词索引 231