|
000
|
01220nam0 2200301 450
|
|
001
|
1851913969
|
|
005
|
20180919142543.31
|
|
010
|
|
@a978-7-5357-9442-0@b/@dCNY 49.00
|
|
010
|
|
@a978-7-5357-9558-8@bCNY2598.00(全套)
|
|
096
|
|
@aTP3@bdws
|
|
100
|
|
@a20180508d2018 em y0chiy0120 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b430000
|
|
105
|
|
@aa z 001yy
|
|
200
|
1
|
@a逻辑的引擎@9luo ji de yin qing@dEngines of logic@b专著@f(美)马丁·戴维斯(Martin Davis)著@g张卜天译@zeng
|
|
210
|
|
@a长沙@c湖南科学技术出版社@d2018
|
|
215
|
|
@a17,291页@c图@d21cm
|
|
225
|
1
|
@a第一推动丛书@i综合系列@v03
|
|
305
|
|
@a湖南科学技术出版社通过中国台湾博达著作权代理有限公司获得本书中文简体版中国大陆独家出版发行权
|
|
330
|
|
@a本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
|
|
510
|
1
|
@aEngines of logic@zeng
|
|
606
|
0
|
@a计算机@x逻辑设计@j普及读物
|
|
690
|
|
@aTP302.2@v5
|
|
690
|
|
@aTP302.2@v4
|
|
701
|
0
|
@c(美)@a戴维斯@9dai wei si@c(Davis, Martin)@4著
|
|
702
|
0
|
@a张卜天@9zhang bu tian@f(1979-)@4译
|
|
801
|
0
|
@bHNYZ@c20180919
|
|
905
|
|
@aZUCC@dTP302.2@e2
|
|
|
|
|
| |
| 逻辑的引擎=Engines of logic/(美)马丁·戴维斯(Martin Davis)著/张卜天译.-长沙：湖南科学技术出版社，2018 |
| 17,291页：图；21cm.-(第一推动丛书.综合系列；03) |
| |
| |
| ISBN 978-7-5357-9442-0(/)：CNY 49.00 |
| 本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。 |
| ● |
正题名：逻辑的引擎
索取号：TP302.2/2
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
645779
|
202645779
|
文艺社科书库/
[索取号:TP302.2/2]
|
在馆
|
架位导航
|
|
2
|
645780
|
202645780
|
文艺社科书库/
[索取号:TP302.2/2]
|
在馆
|
架位导航
|
|
3
|
645781
|
202645781
|
文艺社科书库/
[索取号:TP302.2/2]
|
在馆
|
架位导航
|
