机读格式显示(MARC)

• 000 01652nam 2200361 450

• 001 0000137819

• 005 20060405094400.0

• 010 __ |a 7-121-00779-7 |d CNY32.00

• 100 __ |a 20050708d2005 ekmy0chiy0121 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 可计算性与数理逻辑 |A Ke Ji Suan Xing Yu Shu Li Luo Ji |d = Computability and logic |f (美)George S. Boolos, Jnhn P. Burgess, Richard C. Jeffrey著 |g 何自强译 |z eng

• 210 __ |a 北京 |c 电子工业出版社 |d 2005

• 215 __ |a 288页 |d 26cm

• 225 2_ |a 国外计算机科学教材系列 |A Guo Wai Ji Suan Ji Ke Xue Jiao Cai Xi Lie

• 305 __ |a 据Cambridge University Press, 2002年英文版第4版译

• 306 __ |a 本书中文简体专有翻译出版权由Cambridge University Press授予电子工业出版社

• 314 __ |a 责任者Boolos规范汉译姓: 布勒斯, Burgess规范汉译姓: 伯吉斯, Jeffrey规范汉译姓: 杰弗里

• 330 __ |a 本书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生, 书中不仅包括了中等深度的逻辑教程所讨论的基本专题, 如哥德尔不完全性定理等, 而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题, 因而已成为一本经典的教科书。

• 410 _0 |1 2001 |a 国外计算机科学教材系列

• 510 1_ |a Computability and logic |z eng

• 606 0_ |a 可计算性 |j 教材

• 606 0_ |a 数理逻辑 |j 教材

• 690 __ |a O141 |v 4

• 701 _1 |a 布勒斯, |A Bu Le Si , |b G. S. |g (Boolos, George S.) |4 著

• 701 _1 |a 伯吉斯, |A Bo Ji Si , |b J. P. |g (Burgess, Jnhn P.) |4 著

• 701 _1 |a 杰弗里, |A Jie Fu Li , |b R. C. |g (Jeffrey, Richard C.) |4 著

• 702 _0 |a 何自强 |A He Zi Qiang |4 译

• 801 _0 |a CN |b 三新书业 |c 20050708

• 801 _2 |a CN |b AUSTL |c 20060405

• 905 __ |a AUSTL |d O141/B491-2