《数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录》求取 ⇩

第一讲 直觉主义逻辑的形式化5

第二讲 算术的不完全性14

第三讲 语义学24

第四讲 可计算函数32

第五讲 艾尔伯朗定理和干岑定理42

第六讲 完全性问题50

第七讲 递归函数论的进一步发展62

第八讲 分层和泛函72

第九讲 选择公理和连续统假设的一致性82

第十讲 直觉主义逻辑的各种解释92

第十一讲 数学的构造性基础101

第十二讲 判定问题110

第十三讲 模型论123

第十四讲 非初等语言的模型论137

第十五讲 集合论基础中的一些问题146

第十六讲 直积和约积157

1983《数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由(波)安德热依·莫斯托夫斯基(A.Mostowski)著;郭 1983 华中工学院出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

数理逻辑基础  上(1981 PDF版)
数理逻辑基础 上
1981 北京:科学出版社
管理数学基础(1985.08 PDF版)
管理数学基础
1985.08 辽宁大学出版社
数理逻辑基础  (上册)(1981年01月第1版 PDF版)
数理逻辑基础 (上册)
1981年01月第1版 科学出版社
算术基础——对于数这个概念的一种逻辑数学的研究(1998年08月第1版 PDF版)
算术基础——对于数这个概念的一种逻辑数学的研究
1998年08月第1版 商务印书馆
数理逻辑基础知识  上( PDF版)
数理逻辑基础知识 上
北京师范大学哲学系逻辑教研室印
数学基础(1972 PDF版)
数学基础
1972
管理数学基础( PDF版)
管理数学基础
沈阳:辽宁大学出版社
数理逻辑基础  下(1981 PDF版)
数理逻辑基础 下
1981 北京:科学出版社
数理逻辑与数学基础习题集(1990 PDF版)
数理逻辑与数学基础习题集
1990 北京:中国人民大学出版社
建筑经济学(1986 PDF版)
建筑经济学
1986 北京:经济科学出版社
管理数学基础(1990 PDF版)
管理数学基础
1990 北京:中国铁道出版社
算术基础  对于数这个概念的一种逻辑数学的研究(1998 PDF版)
算术基础 对于数这个概念的一种逻辑数学的研究
1998 北京:商务印书馆
简明数理逻辑基础(1985 PDF版)
简明数理逻辑基础
1985 福州:福建人民出版社
数理逻辑基础(1958 PDF版)
数理逻辑基础
1958 北京:科学出版社
基础数学(1993 PDF版)
基础数学
1993 北京:清华大学出版社