- 作 者：史陶著；刘福增译述
- 出 版 社：水牛图书出版事业有限公司
- 出版年份：1970
- ISBN：
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 集合与关系 1
1.1．康托的集合概念 2
1.2．直觉集合论的基础 4
1.3．包含 11
1.4．集合运算 14
1.5．集合代数 19
1.6．关系 28
1.7．等应关系 35
1.8．函应 40
1.9．合成函应与反函应 45
1.10．次序关系 51
第二章 逻辑 61
2.1．语句演算——语句连词 62
2.2．语句演算——真值表 66
2.3．语句演算——有效性 73
2.4．语句演算——有效归结 85
2.5．语句演算——应用 95
2.6．述语演算——日用语言的翻译 101
2.7．述词演算——一个塑造 110
2.8．述词演算——有效性 116
2.9．述词演算——有效归结 126
3.1．设基理论的概念 133
第三章 设基理论 133
3.2．非形式设基 138
3.3．在集合论系络内的非形式理论 144
3.4．非形式理论的其它特色 147
3.5．形式设基理论 157
3.6．当形式设基理论的语句演算 159
3.7．当形式设基理论的述词演算 165
3.8．一阶设基理论 168
3.9．後设数学 175
4.1．一布氏代数的定义 183
第四章 布氏代数 183
4 2．一布氏代数的若干基本性质 186
4.3．布氏代数理论的另一塑造 190
4 4．布氏代数的相合关系 196
4.5．布氏代数的表现 204
4.6．当布氏代数的语句演算 211
4.7．自由布氏代数 212
史陶著“集合论与逻辑”一书目录 217
英中名词对照 223
中英名词索引 231