《数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录》
| 作者 | （波）安德热依·莫斯托夫斯基（A.Mostowski）著；郭 编者 |
|---|---|
| 出版 | 华中工学院出版社 |
| 参考页数 | 195 |
| 出版时间 | 1983（求助前请核对） 目录预览 |
| ISBN号 | 13255018 — 求助条款 |
| PDF编号 | 88813218（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
第一讲 直觉主义逻辑的形式化5
第二讲 算术的不完全性14
第三讲 语义学24
第四讲 可计算函数32
第五讲 艾尔伯朗定理和干岑定理42
第六讲 完全性问题50
第七讲 递归函数论的进一步发展62
第八讲 分层和泛函72
第九讲 选择公理和连续统假设的一致性82
第十讲 直觉主义逻辑的各种解释92
第十一讲 数学的构造性基础101
第十二讲 判定问题110
第十三讲 模型论123
第十四讲 非初等语言的模型论137
第十五讲 集合论基础中的一些问题146
第十六讲 直积和约积157
1983《数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由（波）安德热依·莫斯托夫斯基（A.Mostowski）著；郭 1983 华中工学院出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 数理逻辑基础 上
- 1981 北京：科学出版社
-
- 管理数学基础
- 1985.08 辽宁大学出版社
-
- 数理逻辑基础 （上册）
- 1981年01月第1版 科学出版社
-
- 算术基础——对于数这个概念的一种逻辑数学的研究
- 1998年08月第1版 商务印书馆
-
- 数理逻辑基础知识 上
- 北京师范大学哲学系逻辑教研室印
-
- 数学基础
- 1972
-
- 管理数学基础
- 沈阳：辽宁大学出版社
-
- 数理逻辑基础 下
- 1981 北京：科学出版社
-
- 数理逻辑与数学基础习题集
- 1990 北京：中国人民大学出版社
-
- 建筑经济学
- 1986 北京：经济科学出版社
-
- 管理数学基础
- 1990 北京：中国铁道出版社
-
- 算术基础 对于数这个概念的一种逻辑数学的研究
- 1998 北京：商务印书馆
-
- 简明数理逻辑基础
- 1985 福州：福建人民出版社
-
- 数理逻辑基础
- 1958 北京：科学出版社
-
- 基础数学
- 1993 北京：清华大学出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD