机读格式显示(MARC)

• 000 01210oam2 2200301 450

• 001 0000765485

• 005 20191113102800.0

• 010 __ |a 978-7-5357-7182-7 |d CNY360.00(全10册)

• 100 __ |a 20121016d2012 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 430000

• 105 __ |a a z 001yd

• 106 __ |a r

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

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

• 215 __ |a 293页 |c 图，照片 |d 21cm

• 225 2_ |a 第一推动丛书 |A Di Yi Tui Dong Cong Shu |i 综合系列 |v 04

• 305 __ |a 博达著作权代理有限公司授权出版 据美国W. W. Norton公司2000年版本译出

• 330 __ |a 本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

• 462 _0 |1 001003563377

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

• 606 0_ |a 科学家 |A Ke Xue Jia |x 生平事迹 |y 世界

• 690 __ |a K816.1 |v 5

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

• 702 _0 |a 张卜天 |f (1979~) |4 译 |A zhang bu tian

• 801 _0 |a CN |b HDUL |c 20191113

• 905 __ |a HDUL |d K816.1/4241/4

• 920 __ |a 233030 |z 1