作者：(波兰)塔尔斯基 著 周礼全,吴允曾,晏
页数：276
出版社：商务印书馆
出版日期：2024
ISBN：9787100005203
电子书格式：PDF
PDF下载地址
内容简介
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
目录
简目：
初版序言
序言
第一部分 逻辑的元素，演绎方法
(Ⅰ)论变项的用法
(Ⅱ)论语句演算
(Ⅲ)同一理论
(Ⅳ)类的理论
(Ⅴ)关系的理论
(Ⅵ)论演绎方法
第二部分 逻辑和方法论在构造数学理论中的应用
(Ⅶ)一个数学理论的构造：数的次序的定律
(Ⅷ)一个数学理论的构造：加法和减法的定律
(Ⅸ)关于所构造的理论的方法论的讨论
(Ⅹ)所构造的理论的扩充。实数算术的基础
推荐的读物
索引
译者后记
初版序言
序言
第一部分 逻辑的元素，演绎方法
(Ⅰ)论变项的用法
(Ⅱ)论语句演算
(Ⅲ)同一理论
(Ⅳ)类的理论
(Ⅴ)关系的理论
(Ⅵ)论演绎方法
第二部分 逻辑和方法论在构造数学理论中的应用
(Ⅶ)一个数学理论的构造：数的次序的定律
(Ⅷ)一个数学理论的构造：加法和减法的定律
(Ⅸ)关于所构造的理论的方法论的讨论
(Ⅹ)所构造的理论的扩充。实数算术的基础
推荐的读物
索引
译者后记