《数理逻辑的思想和方法》
| 作者 | 昂扬编著 编者 |
|---|---|
| 出版 | 上海：复旦大学出版社 |
| 参考页数 | 230 |
| 出版时间 | 1991（求助前请核对） 目录预览 |
| ISBN号 | 7309006682 — 求助条款 |
| PDF编号 | 810180898（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
第一章 数理逻辑与人工语言1
第二章 真值函项12
第三章 重言式26
第四章 范式37
第五章 重言式形式系统49
第六章 自然推理系统与重言式公理系统61
第七章 直觉主义及其逻辑构造73
第八章 元逻辑之一84
第九章 元逻辑之二96
第十章 日常用语的进一步刻划107
第十一章 翻译中的几个问题120
第十二章 量词逻辑的核心132
第十三章 解释144
第十四章 量词演算系统157
第十五章 量词演算系统定理和导出规则170
第十六章 量词演算系统的一致性和完全性182
第十七章 哥德尔不完全定理196
第十八章 公理化方法和形式化方法208
第十九章 数理逻辑应用举例219
1991《数理逻辑的思想和方法》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由昂扬编著 1991 上海：复旦大学出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 数理逻辑
- 1985 北京：中国标准出版社
-
- 思想的方法
- 1936
-
- 思想方法和读书方法
- 1946 大众书店
-
- 思想方法和读书方法
- 1949 中外出版社
-
- 思想的方法 思想方法的原理及其应用
- 1976
-
- 数学的逻辑原则和方法
- 1984 合肥：安徽教育出版社
-
- 数理逻辑
- 1984 北京：高等教育出版社
-
- 景观科学 理论基础和逻辑数理方法
- 1992 北京：商务印书馆
-
- 思想方法和读书方法
- 1949 中外出版社
-
- 数学思想方法
- 1989 济南：山东教育出版社
-
- 科学的思想方法和工作方法
- 1990 杭州：浙江大学出版社
-
- 辩证逻辑的思维方法论
- 1981 北京：中国社会科学出版社
-
- 辩证法的观点和思想方法 预见的逻辑学
- 1963 北京：商务印书馆
-
- 思路、逻辑、创造方法
- 1992 北京：中央广播电视大学出版社
-
- 数理逻辑
- 1993 长沙：国防科技大学出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD