| 字段 | 字段内容 |
|---|---|
| 001 | 01h1354542 |
| 005 | 20250331095323.0 |
| 010 | $a: 978-7-5357-9442-0$d: CNY49.00 |
| 099 | $a: CAL 012018043357 |
| 100 | $a: 20180326d2018 em y0chiy50 ea |
| 101 | $a: chi$c: eng |
| 102 | $a: CN$b: 430000 |
| 105 | $a: a a 001yy |
| 106 | $a: r |
| 200 | $a: 逻辑的引擎$A: luo ji de yin qing$f: (美) 马丁·戴维斯著$d: = Engines of logic$f: Martin Davis$g: 张卜天译$z: eng |
| 210 | $a: 长沙$c: 湖南科学技术出版社$d: 2018 |
| 215 | $a: 17, 291页$c: 图$d: 21cm |
| 225 | $a: 第一推动丛书$A: di yi tui dong cong shu$i: 综合系列$v: 03 |
| 306 | $a: 湖南科学技术出版社通过中国台湾博达著作权代理有限公司获得本书中文简体版中国大陆独家出版发行权 |
| 314 | $a: 马丁·戴维斯, 计算机科学发展史上的先驱人物, 其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一, 他是纽约大学库朗数学科学研究所的荣誉教授, 之后在加州大学伯克利分校做访问学者。张卜天, 1979年9月生, 中国科技大学物理学学士, 北京大学哲学博士。 |
| 320 | $a: 有书目 (第258-263页) 和索引 |
| 330 | $a: 本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。 |
| 410 | $1: 2001 $a: 第一推动丛书$i: 综合系列$v: 03 |
| 500 | $1: 0$a: Engines of logic$m: Chinese |
| 606 | $a: 计算机$A: ji suan ji$x: 逻辑设计$j: 普及读物 |
| 690 | $a: TP302.2$v: 5 |
| 701 | $a: 戴维斯$A: dai wei si$g: (Davis, Martin)$4: 著 |
| 702 | $a: 张卜天,$A: zhang bu tian$f: 1979-$4: 译 |
| 801 | $a: CN$b: BUCTL$c: 20250331 |
| 905 | $d: TP302.2$r: CNY49.00$e: 36 |
| 920 | $a: 221120$z: 1 |
| 998 | $a: PUL |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第107372215位用户访问本系统