机读格式显示(MARC)

• 000 01462nam2 2200361 45

• 001 0000132143

• 005 20061120152600.0

• 010 __ |a 7-5053-8828-2 |d CNY38.00

• 100 __ |a 20060324d2003 ekmy0chiy0120 ea

• 101 0_ |a eng |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000ay

• 106 __ |a r

• 200 1_ |a Computability and logic |d = 可计算性与数理逻辑 |z chi |e 英文版 |f (美)布勒斯, 伯吉斯, 杰弗里著 |f George S.Boolos, John P.Burgess, Richard C.Jeffrey

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

• 215 __ |a 356页 |d 24cm

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

• 305 __ |a 据原书第4版译出

• 306 __ |a 由英国剑桥大学出版社授权

• 320 __ |a 有书目和索引

• 330 __ |a 全书论述了可计算性理论、基础元逻辑及一些高级专题。不仅包括了中等深度的逻辑教程讨论的基本专题，如哥德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一本经典的教科书。

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

• 510 1_ |a 可计算性与数理逻辑 |z chi

• 517 1_ |a 英文版 |A Ying Wen Ban

• 606 __ |a 可计算性 |x 理论 |x 英文 |j 教材 |A Ke Ji Suan Xing

• 606 __ |a 数理逻辑 |x 英文 |j 教材 |A Shu Li Luo Ji

• 690 __ |a O141 |v 4

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

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

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

• 801 _0 |a CN |b ZPHC |c 20061120

• 801 _2 |a CN |b ZPHC |c 20061120

• 905 __ |a ZPHC |d O141/4