| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
文献所属馆:
文献所属馆:
哥德尔证明, (美)欧内斯特·内格尔(Ernest Nagel)，(美)詹姆斯·R. 纽曼(James R. Newman)著 |
|
|
ISBN:
|
978-7-5184-3286-8 价格： CNY42.00 |
|
语种:
|
chi |
|
题名:
|
哥德尔证明 [ 专著] ge de er zheng ming / (美)欧内斯特·内格尔(Ernest Nagel)，(美)詹姆斯·R. 纽曼(James R. Newman)著 , (美)侯世达(Douglas R. Hofstadter)编 |
|
出版发行:
|
出版地： 北京 出版社： 中国轻工业出版社 出版日期： 2021 |
|
载体形态:
|
13,142页 21cm |
|
摘要:
|
本书分八个部分，内容包括：一致性问题、一致性的绝对证明、形式逻辑的系统化、映射观念及其在数学中的使用等。 |
|
中图分类:
|
B712.59 版次： 5 |
|
主要著者:
|
内格尔 nei ge er 著 |
|
主要著者:
|
纽曼 niu man 著 |
|
次要著者:
|
侯世达 hou shi da 编 |
|
次要著者:
|
刘新文 liu xin wen 译 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01228nam0 2200277 450 001| |012016013569 005| |20220624184153.9 010| |□a978-7-5184-3286-8□dCNY42.00 100| |□a20220624d2021 em y0chiy0120 ea 101|1 |□achi□ceng 102| |□aCN□b110000 105| |□ay z 000yy 106| |□ar 200|1 |□a哥德尔证明□9ge de er zheng ming□b- | |专著□dG?del\'s proof□f(美)欧内斯特·内格尔- | |(Ernest Nagel)，(美)詹姆斯·R. 纽曼(Ja- | |mes R. Newman)著□g(美)侯世达(Dougla- | |s R. Hofstadter)编□g刘新文译□zger 210| |□a北京□c中国轻工业出版社□d2021 215| |□a13,142页□d21cm 330| |□a本书分八个部分，内容包括：一致性问题、一致性的绝对证明、- | |形式逻辑的系统化、映射观念及其在数学中的使用等。 510|1 |□aG?del\'s proof□zger 600| 0|□a哥德尔□c(Godel, Kurt□f1906-1978- | |)□x逻辑哲学□x研究 690| |□aB712.59□v5 701| 0|□c(美)□a内格尔□9nei ge er□c(Nagel,- | | Ernest)□4著 701| 0|□c(美)□a纽曼□9niu man□c(Newman, J- | |ames R.)□4著 702| 0|□c(美)□a侯世达□9hou shi da□c(Hofst- | |adter, Douglas R.)□4编 702| 0|□a刘新文□9liu xin wen□4译 801| 2|□aCN□b58marc.cn□c20210716 801| 2|□aCN□bQXLIB□c20220624