基础数学的元数学

作者：Erwin Engeler著；宋方敏译
出版社：南京：南京大学出版社
出版年份：1995
ISBN：7305028274
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

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

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

云解压服务说明

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

云解压下载及付费说明

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

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

第一章连续统 1

第一节什么是实数 1

第二节语言作为数学的部分 6

第三节实数的基本理论 15

第四节非标准分析 29

第五节选择公理与连续统假设 40

第二章几何学 46

第一节空间与数学 46

第二节借助于坐标系的公理化 48

第三节元理论问题和初等几何的方法 59

第四节几何作图 70

第三章算法 80

第一节什么是算法 80

第二节组合代数的存在性：组合逻辑 85

第三节具体的组合代数 92

第四节 λ演算 97

第五节可计算性与组合子 102