|
题名:
|
歌德尔证明 ge de er zheng ming / (美)欧内斯特·内格尔(Ernest Nagel), (美)詹姆士·R. 纽曼(James R. Newman)著 , 陈东威, 连永君译 |
|
ISBN:
|
978-7-300-08890-7 价格： CNY18.00 |
|
语种:
|
chi |
|
载体形态:
|
10,112页 照片 23cm |
|
出版发行:
|
出版地： 北京 出版社： 中国人民大学出版社 出版日期： 2008 |
|
内容提要:
|
本书共分8部分，内容包括：一致性问题、一致性的绝对证明、形式逻辑的系统编码、一个成功的一致性绝对证明的例子、映射的概念及其在数学中的应用等。 |
|
主题词:
|
逻辑哲学 研究 德国 |
|
中图分类法:
|
B516.59 版次： 4 |
|
主要责任者:
|
内格尔 nei ge er 著 |
|
主要责任者:
|
纽曼 niu man 著 |
|
次要责任者:
|
陈东威 chen dong wei 译 |
|
次要责任者:
|
连永君 lian yong jun 译 |