《数理逻辑初步》
| 作者 | 莫绍揆著 编者 |
|---|---|
| 出版 | 上海：上海人民出版社 |
| 参考页数 | 172 |
| 出版时间 | 1980（求助前请核对） 目录预览 |
| ISBN号 | 2074·366 — 求助条款 |
| PDF编号 | 87730288（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
第一章数理逻辑的由来1
1 传统逻辑的不足2
2 数理逻辑的兴起9
1 数理逻辑在电子数字计算机方面的应用15
3 非欧几何带来的问题20
4 微积分基础的争论27
5 集合论悖论31
第二章数理逻辑的主要内容36
1 公理集合论与证明论36
2 能行性理论与模型论41
3 命题演算49
4 谓词演算56
5 有关传统逻辑与模态逻辑65
6 蕴涵词及其怪论72
第三章关于数理逻辑的三大派78
1 逻辑主义派79
2 直觉主义派95
3 形式主义派102
第四章数理逻辑中一些基本概念112
1 记号与符号112
2 变元125
3 函数与约束词139
第五章数理逻辑的应用150
2 亚里士多德逻辑与传统逻辑157
3 《小取篇》逻辑的体系162
附录 常用数理逻辑符号表172
1980《数理逻辑初步》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由莫绍揆著 1980 上海：上海人民出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 集合论与数理逻辑初步
- 1984 哈尔滨：黑龙江科学技术出版社
-
- 数理逻辑
- 1986.11 华东师范大学出版社
-
- 数理逻辑、集合
- 1987年02月第1版 人民邮电出版社
-
- 数理逻辑引论
- 1994
-
- 数理逻辑
- 1992 广州：华南理工大学出版社
-
- 数理逻辑
- 1990 上海：华东化工学院出版社
-
- 逻辑代数初步
- 1980 南京：江苏人民出版社
-
- 逻辑代数初步与电子计算机简介
- 1983 北京：人民教育出版社
-
- 数理逻辑
- 1984 北京：高等教育出版社
-
- 数理逻辑
- 1990 杭州：浙江大学出版社
-
- 数理逻辑、集合
- 1987 北京：人民邮电出版社
-
- 数理逻辑基础
- 1958 北京：科学出版社
-
- 逻辑起步
- 1982 重庆：重庆出版社
-
- 形式逻辑初步
- 1958 上海：上海人民出版社
-
- 数理逻辑
- 1986 上海：华东师范大学出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD