机读格式显示(MARC)

• 000 01315nam0 2200349 45

• 001 0000156938

• 005 20070306105200.0

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

• 100 __ |a 20070115d2005 ekmy0chiy0120 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 |f (美)George S.Boolos，(美)John P.Burgess，(美)Richard C.Jeffrey著 |F ( Mei )George S.Boolos，( Mei )John P.Burgess，( Mei )Richard C.Jeffrey Zhu |g 何自强等译

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

• 215 __ |a 288页 |d 26cm

• 225 2_ |a 国外计算机科学教材系列

• 312 __ |a 并列题名取自于封面

• 320 __ |a 有书目

• 330 __ |a 本书是一本经典的数理逻辑教科书，包括可计算性理论、基础元逻辑、高级专题三部分，共27章。

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

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

• 606 __ |a 可计算性 |j 教材

• 606 __ |a 数理逻辑 |j 教材

• 690 __ |a O141 |v 4

• 701 _1 |a 博洛斯, |A Bo Luo Si , |b G.S. |g (Boolos, George S.) |v 4著

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

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

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

• 801 _0 |a CN |b 江苏省新华书店 |c 20070115

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

• 905 __ |a ZPHC |d O141/5