第一编 McCarthy函数与Acker-mann函数 3
第1章 一道竞赛题与McCarthy函数 3
第2章 Ackermann函数 28
第3章 递归函数的历史与应用 33
第4章 非原始递归函数一例 49
第5章 一类完全递归函数的分层 53
第6章 胡世华论递归结构理论 69
1 可数代数结构中的显定义 69
2 原始递归函数和递归结构 71
第二编 莫绍揆论数理逻辑 81
第7章 数理逻辑的由来 81
1 传统逻辑的不足 82
2 数理逻辑的兴起 89
3 非欧几何带来的问题 100
4 微积分基础的争论 108
5 集合论悖论 112
第8章 数理逻辑的主要内容 118
1 公理集合论与证明论 119
2 能行性理论与模型论 124
3 命题演算 132
4 谓词演算 139
5 有关传统逻辑与模态逻辑 148
6 蕴涵词及其怪论 155
第9章 关于数理逻辑的三大派 162
1 逻辑主义派 163
2 直觉主义派 180
3 形式主义派 188
第10章 数理逻辑中一些基本概念 198
1 记号与符号 199
2 变元 212
第三编 历史与进展 241
第11章 林夏水、张尚水介绍数理逻辑在中国 241
第12章 哥德尔定理——数理逻辑发展的第三阶段 255
附录Ⅰ 理论计算机科学引论 268
1 抽象计算机 268
2 S表达式 278
3 递归函数 289
4 顺序计算 304
5 可举集合 316
6 逻辑计算 325
附录Ⅱ 胡世华先生的学术成就 343
附录Ⅲ 莫斯科大学数学计算机系递归函数课程讲义 353
编辑手记 400