《数理逻辑基础 下》
| 作者 | 胡世华，陆钟万著 编者 |
|---|---|
| 出版 | 北京：科学出版社 |
| 参考页数 | 434 |
| 出版时间 | 1982（求助前请核对） 目录预览 |
| ISBN号 | 13031·1948 — 求助条款 |
| PDF编号 | 87475268（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
第三章重言式229
30P的重言式系统230
31P*等的重言式系统250
32非古典命题逻辑的重言式系统270
33谓词逻辑的重言式系统285
34重言式系统和自然推理系统的关系291
第四章可靠性和完备性300
40赋值300
41恒真性和可真性310
42可靠性和协调性319
43命题逻辑的完备性322
44谓词逻辑的完备性（一）327
45谓词逻辑的完备性（二）336
46带等词的谓词逻辑的完备性342
47紧致性定理和勒文海姆－斯柯伦定理349
48独立性350
第五章形式数学系统365
50形式数学系统365
51初等代数367
52自然数373
53哥德尔不完备性定理382
54集385
55实数393
56应用重言式系统399
57形式符号定义401
附录（一）命题量词409
附录（二）斜形证明412
符号汇编（下册）429
参考文献432
1982《数理逻辑基础 下》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由胡世华，陆钟万著 1982 北京：科学出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 数理逻辑
- 1985 北京：中国标准出版社
-
- 数理逻辑基础 （上册）
- 1981年01月第1版 科学出版社
-
- 数理逻辑基础知识 上
- 北京师范大学哲学系逻辑教研室印
-
- 逻辑学基础
- 1979 杭州：浙江人民出版社
-
- 数字逻辑电路基础
- 1994 西安：西安交通大学出版社
-
- 数字逻辑设计基础 下
- 1983 北京：人民邮电出版社
-
- 逻辑学基础
- 1994 上海：华东理工大学出版社
-
- 数理逻辑与数学基础习题集
- 1990 北京：中国人民大学出版社
-
- 简明数理逻辑基础
- 1985 福州：福建人民出版社
-
- 数理逻辑基础
- 1958 北京：科学出版社
-
- 逻辑学基础
- 1992 北京：北京工业大学出版社
-
- 逻辑学基础
- 1994 北京：警官教育出版社
-
- 逻辑基础
- 1982 广州：广东人民出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD