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

作者：（波）安德热依·莫斯托夫斯基（A.Mostowski）著；郭世铭译
出版社：华中工学院出版社
出版年份：1983
ISBN：13255018
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
8
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

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

第二讲算术的不完全性 14

第三讲语义学 24

第四讲可计算函数 32

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

第六讲完全性问题 50

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

第八讲分层和泛函 72

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

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

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

第十二讲判定问题 110

第十三讲模型论 123

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

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

第十六讲直积和约积 157