显示全部目 录
简目:
初版序言
序言
第一部分 逻辑的元素,演绎方法
(Ⅰ)论变项的用法
(Ⅱ)论语句演算
(Ⅲ)同一理论
(Ⅳ)类的理论
(Ⅴ)关系的理论
(Ⅵ)论演绎方法
第二部分 逻辑和方法论在构造数学理论中的应用
(Ⅶ)一个数学理论的构造:数的次序的定律
(Ⅷ)一个数学理论的构造:加法和减法的定律
(Ⅸ)关于所构造的理论的方法论的讨论
(Ⅹ)所构造的理论的扩充。实数算术的基础
推荐的读物
索引
译者后记
初版序言
序言
第一部分 逻辑的元素,演绎方法
(Ⅰ)论变项的用法
(Ⅱ)论语句演算
(Ⅲ)同一理论
(Ⅳ)类的理论
(Ⅴ)关系的理论
(Ⅵ)论演绎方法
第二部分 逻辑和方法论在构造数学理论中的应用
(Ⅶ)一个数学理论的构造:数的次序的定律
(Ⅷ)一个数学理论的构造:加法和减法的定律
(Ⅸ)关于所构造的理论的方法论的讨论
(Ⅹ)所构造的理论的扩充。实数算术的基础
推荐的读物
索引
译者后记