机读格式显示(MARC)

• 000 01518nam2 2200361 4500

• 001 0000169420

• 005 20050923084127.0

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

• 100 __ |a 20050808d2005 em y0chiy0110 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 可计算性与数理逻辑 |A ke ji suan xing yu shu li luo ji |d Computability and Logic |9 ke ji suan xing yu shu li luo ji |f (美)布勒斯(George S.Boolos), (美)John P.Burgess, (美)Richard C.Jeffrey著 |g 何自强等译

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

• 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授权出版 据原书第4版译出

• 330 __ |a 本书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书不仅包括了逻辑教程所讨论的基本专题，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题。

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

• 510 1_ |a Computability and Logic |e Fourth Edition |z eng

• 606 0_ |a 可计算性 |A ke ji suan xing |j 教材

• 606 0_ |a 数理逻辑 |A shu li luo ji |j 教材

• 690 __ |a O141 |v 4

• 701 _1 |c (美) |a 布勒斯 |A bu le si |9 bu le shi |b G. S. |4 著

• 701 _1 |c (美) |a Boolos |A Boolo |b George S. |4 著

• 701 _1 |c (美) |a Burgess |A Burges |b John P. |4 著

• 701 _1 |c (美) |a Jeffrey |A Jeffre |b Richard C. |4 著

• 702 _0 |a 何自强 |A he zi qiang |9 he zi qiang |4 译

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

• 902 __ |a 1 |c 20050809 |b 20050808-2

• 905 __ |a HIEL |d O141/444/2

• 999 __ |a 24 |b 8 |e 05265