数理逻辑基础

1 (p0-1): 前言页
1 (p0-2): 译者的话
1 (p0-3): 导言
2 (p0-4): 俄译者序言
3 (p1): 第一章 命题演算
3 (p1-2): 1.基本逻辑联结词的引入
5 (p1-3): 2.等值性；基本联结词的可省约性
10 (p2): 原著者第一、二、三版序
11 (p2-2): 3.逻辑表达式的范式
13 (p2-3): 4.永真的复合命题的刻书
15 (p2-4): 5.对偶原则
16 (p2-5): 6.逻辑表达式的析取范式
17 (p2-6): 7.由一些给定的基本命题所能作成的复合命题的总体
20 (p2-7): 8.关于普遍有效性及可满足性问题的补充注意
22 (p2-8): 9.由给定的公理而作的一切推论--系统性的综览
26 (p2-9): 10.命题演算的公理
29 (p2-10): 11.由公理推演公式的例子
36 (p2-11): 12.公理系统的不矛盾性
38 (p2-12): 13.系统的独立性与完备性
41 (p3): 第二章 类演算(一元谓词演算)
41 (p3-2): 1.命题演算符号在内容上的新解释
45 (p3-3): 2.类演算与命题演算的联合
50 (p3-4): 3.传统的亚里士多德推理式的系统地推演
56 (p4): 第三章 狭义谓词演算
56 (p4-2): 1.以前的演算的不充分性
57 (p4-3): 2.谓词演算在方法论上的基本思想
61 (p4-4): 3.关于谓词演算的应用的初步提示
65 (p4-5): 4.谓词演算中记号的精确化
68 (p4-6): 5.谓词演算的公理
70 (p4-7): 6.永真公式系统
78 (p4-8): 7.替换规则；一公式的否定的作成
80 (p4-9): 8.推广的对偶原则；范式
85 (p4-10): 9.公理系统的不矛盾性及独立性
89 (p4-11): 10.公理系统的完备性
98 (p4-12): 11.由给定的前提所导出的推论；与永真公式的关系
107 (p4-13): 12.判定问题
120 (p5): 第四章 广义谓词演算
120 (p5-2): 1.第二层次的谓词演算
129 (p5-3): 2.谓词谓词的引入；数目概念的逻辑处理
133 (p5-4): 3.集合论的基本概念在广义演算中的表示
136 (p5-5): 4.逻辑誖论
144 (p5-6): 5.层次演算
159 (p5-7): 6.层次演算的应用
167 (p5-8): 7.对层次演算的最后附注
170 (p6): 附录 原书第一版第四章最后几节
170 (p6-2): 5.层次演算的方法
174 (p6-3): 6.层次演算的不足性
177 (p6-4): 7.可化归性公理
179 (p6-5): 8.可化归性公理的应用
186 (p6-6): 9.对于层次演算的最后附注
189 (p6-7): 参考文献
191 (p6-8): 德中名词对照表
197 (p6-9): 中德名词对照表
200 (p6-10): 德中人名对照表