机读格式显示(MARC)
- 000 01166oam2 2200289 450
- 010 __ |a 978-7-5357-9442-0 |d CNY49.00
- 100 __ |a 20180508d2018 em y0chiy50 ea
- 200 1_ |a 逻辑的引擎 |9 luo ji de yin qing |b 专著 |d Engines of logic |f (美)马丁·戴维斯(Martin Davis)著 |g 张卜天译 |z eng
- 210 __ |a 长沙 |c 湖南科学技术出版社 |d 2018
- 215 __ |a 17,291页 |c 图 |d 21cm
- 225 2_ |a 第一推动丛书 |9 di yi tui dong cong shu |i 综合系列 |v 03
- 305 __ |a 通过中国台湾博达著作权代理有限公司获得出版发行权
- 330 __ |a 本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
- 461 _0 |1 2001 |a 第一推动丛书 |i 综合系列 |v 03
- 510 1_ |a Engines of logic |z eng
- 606 0_ |a 科学家 |9 ke xue jia |x 生平事迹 |y 世界
- 701 _0 |c (美) |a 戴维斯 |9 dai wei si |c (Davis, Martin) |4 著
- 702 _0 |a 张卜天 |9 zhang bu tian |f (1979~) |4 译
- 801 _0 |a CN |b YNNI |c 20200808
- 905 __ |a YNNI |d K816.1/4324