机读格式显示(MARC)

• 000 01309oam2 2200373 450

• 000 0000188306

• 001 0000093692

• 009 012004156858

• 010 __ |a 978-7-5357-4239-1 |d CNY22.00

• 035 __ |a (110019)012007031224

• 100 __ |a 20100309d2007 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 430000

• 105 __ |a y z 001yd

• 106 __ |a r

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

• 205 __ |a 2版

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

• 215 __ |a 293页 |d 22cm

• 225 2_ |a 第一推动 |i 综合系列

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

• 461 _0 |1 2001 |a 综合系列

• 462 _0 |1 2001 |a 综合系列

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

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

• 690 __ |a K816.1 |v 4

• 701 _1 |c (美) |a 戴维斯 |9 dai wei si |b M. |4 著

• 701 _1 |c (美) |a Davis |b Martin |4 著

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

• 801 _0 |a CN |b SFT |c 20100309

• 905 __ |a GDPTC |d K816.1/13

• 908 __ |a 0000188306

• 995 __ |a SFT |f K816.1/13

• 999 __ |t C |A lyd |a 20100309 10:36:18 |M lyd |m 20100309 10:37:49 |G lyd |g 20100309 10:38:14