数理逻辑与数学基础习题集PDF电子书下载

原著者序 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