机读格式显示(MARC)

• 000 01562oam2 2200385 450

• 001 0000381921

• 005 20180312104617.7

• 010 __ |a 978-7-5357-9558-8 |d CNY49.00

• 010 __ |a 978-7-5357-9555-7 |d CNY618.00(全12册) |f CNY

• 092 __ |a CN |b 人天820-2970

• 100 __ |a 20180315d2018 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 430000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 1_ |a 逻辑的引擎 |A luo ji de yin qing |d Engines of logic |f (美)马丁·戴维斯(Martin Davis)著 |g 张卜天译 |z eng

• 210 __ |a 长沙 |c 湖南科学技术出版社 |d 2018.01

• 215 __ |a 17,291页 |c 图 |d 21cm

• 225 2_ |a 第一推动丛书 |i 综合系列 |v 03

• 305 __ |a 通过中国台湾博达著作权代理有限公司获得版权

• 306 __ |a 本书限中国大陆发行

• 330 __ |a 本书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。

• 333 __ |a 科学爱好者

• 462 _0 |a 第一推动丛书 |i 综合系列 |v 03 |1 2001

• 510 1_ |a Engines of logic |z eng

• 606 0_ |a 电子计算机 |j 普及读物 |x 逻辑设计

• 690 __ |a TP302.2 |v 5

• 701 _0 |a 戴维斯 |A dai wei si |c (美) |c (Davis, Martin) |4 著

• 702 _0 |a 张卜天 |A zhang bu tian |4 译

• 801 _0 |a CN |b 人天书店 |c 20180315

• 856 __ |q PDF/EPUB |s 5614.59K |u https://www.cxstar.com/Book/Detail?pinst=P6u77RH0me5oQF0l5w3&ruid=232559e400264eXXXX

• 904 __ |a 232559e400264eXXXX |b 计算机科学与技术 |c 可供 |d 成人学术 |e 否

• 905 __ |a LYVC |d TP302.2/E0153024

• 906 __ |a E0153024 |b E0153024 |c TP302.2/E0153024 |d 电子图书 |e 29.40

• 920 __ |a 441400 |z 1