原著者序 1
目 录 1
译者的话 3
第九章集合的有关习题 108
习题 答案 185
第一章命题演算 （7） 185
第二章集代数 （18） 193
第三章命题函数、量词 （30） 204
第四章关系、等价 （48） 227
第五章函数 （63） 241
第六章广义集合论运算 （79） 256
第七章基数 （86） 263
第八章序 （94） 268
第十章基数算术和序数算术 （117） 278
第十一章形式系统及其性质 （124） 285
第十二章模型论 （137） 290
第十三章递归函数 （153） 305
增补一归纳法 （159） 309
增补二格和布尔代数 （169） 313
术语索引 328
符号索引 337
参考书目 341