当前位置： 数理逻辑的思想和方法 > 购买云解压PDF图书
- 作 者：昂扬编著
- 出 版 社：上海：复旦大学出版社
- 出版年份：1991
- ISBN：7309006682
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 数理逻辑与人工语言 1
第二章 真值函项 12
第三章 重言式 26
第四章 范式 37
第五章 重言式形式系统 49
第六章 自然推理系统与重言式公理系统 61
第七章 直觉主义及其逻辑构造 73
第八章 元逻辑之一 84
第九章 元逻辑之二 96
第十章 日常用语的进一步刻划 107
第十一章 翻译中的几个问题 120
第十二章 量词逻辑的核心 132
第十三章 解释 144
第十四章 量词演算系统 157
第十五章 量词演算系统定理和导出规则 170
第十六章 量词演算系统的一致性和完全性 182
第十七章 哥德尔不完全定理 196
第十八章 公理化方法和形式化方法 208
第十九章 数理逻辑应用举例 219