机读格式显示(MARC)

• 000 01223nam2 2200373 4500

• -01 __gzk5405113

• -09 __zyk0126180

• -98 __bm5

• -99 __tsg

• 001 0000126173

• 005 20050805110152.0

• 010 __ |a 7-5357-4239-4 |d CNY20.00

• 100 __ |a 20050628d2005 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 430000

• 105 __ |a a z 001yd

• 106 __ |a r

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

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

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

• 225 2_ |a 第一推动丛书

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

• 308 __ |a 丛书第四辑

• 330 __ |a 本书讲述的是我们现代计算机背后的那些基本概念和发展出这些概念的人，他们是：莱布尼茨、布尔、弗雷格等；讲述这些人的生活故事，并解释他们的部分思想。

• 461 _0 |1 001012002008129 |1 2001 |a 第一推动丛书

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

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

• 606 0_ |a 科学家

• 690 __ |a K816.1 |v 4

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

• 702 _0 |4 译 |9 zhang bu tian |a 张卜天 |c (翻译)

• 801 _0 |a CN |b ATTC |c 20050808

• 905 __ |a ASTU |d K816.1/18

• 915 __ |d K816.1 |e 18 |b 433510-4