返回首页 联系帮助
(美)欧内斯特·内格尔(Ernest Nagel),(美)詹姆斯·R.纽曼(James R. Newman)著
购买点数
8 点
出版社
出版时间
2021
ISBN
标注页数
142 页
PDF页数
163 页
标签
证明
查看更多关于=$ecms_gr[title]?>的内容
第一章 导论 1
第二章 一致性问题 7
第三章 一致性的绝对证明 25
第四章 形式逻辑的系统化 37
第五章 一致性的绝对证明:成功之例 47
第六章 映射观念及其在数学中的使用 61
第七章 哥德尔的证明 73
第八章 总结性思考 119
附录 125
参考文献 139
译后记 141