| 摘要 | 第4-6页 |
| ABSTRACT | 第6-7页 |
| 第1章 前言 | 第8-11页 |
| 第2章 根岑的自然演绎之路 | 第11-21页 |
| 2.1 预备知识 | 第11-12页 |
| 2.2 雏形：自然演算系统N(1932) | 第12-14页 |
| 2.3 成熟：自然演绎系统NJ和NK(1934) | 第14-19页 |
| 2.4 融合：矢列式自然演绎NL(1936) | 第19-21页 |
| 第3章 雅斯可夫斯基的自然演绎之路 | 第21-30页 |
| 3.1 预备知识 | 第21-22页 |
| 3.2 雅斯可夫斯基的命题演算系统N_J | 第22-26页 |
| 3.3 不完全的直觉主义逻辑系统N_(JI) | 第26-27页 |
| 3.4 雅斯可夫斯基的谓词逻辑演算系统N_(J_(FQL)) | 第27-30页 |
| 第4章 方圆殊趣：根岑与雅斯可夫斯基自然演绎方法之比较 | 第30-40页 |
| 4.1 思想基础 | 第30-33页 |
| 4.2 目的和出发点 | 第33-35页 |
| 4.3 表现形式 | 第35-37页 |
| 4.4 影响 | 第37-40页 |
| 第5章 结论 | 第40-42页 |
| 参考文献 | 第42-46页 |
| 致谢 | 第46-47页 |
| 发表论文及参加课题一览表 | 第47页 |