机读格式显示(MARC)

• 000 01601nam2 2200433 4500

• 000 0000161270

• 001 0000109182

• 005 20060913120001.0

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

• 021 __ |a CN |b 01-2003-2428

• 100 __ |a 20060912d2005 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 可计算性与数理逻辑 |f (美)George S.Boolos，(美)John P.Burgess，(美)Richard C.Jeffrey著 |g 何自强等译 |9 ke ji suan xing yu shu li luo ji

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

• 215 __ |a 12,288页 |d 26cm

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

• 305 __ |a Cambridge University Press授权出版 据原书第4版译出

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

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

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

• 606 0_ |a 电子计算机 |A dianzijisuanji |j 教材 |x 可计算性

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

• 606 0_ |a 电子计算机 |A dianzijisuanji

• 606 0_ |a 可计算性 |A kejisuanxing

• 606 0_ |a 数理逻辑 |A shuliluoji

• 690 __ |a TP301.4 |v 4

• 690 __ |a O141 |v 4

• 701 _0 |a 博洛斯 |c (Boolos, George S.) |c (美) |4 著 |9 bo luo si

• 701 _0 |a 伯吉斯 |c (Burgess, John P.) |c (美) |4 著 |9 bai ji si

• 701 _0 |a 杰弗里 |c (Jeffrey, Richard C.) |c (美) |4 著 |9 jie fu li

• 702 _0 |a 何自强 |c (计算机) |4 译 |9 he zi qiang

• 801 _0 |a CN |b 261060 |c 20060913

• 905 __ |a XATU |d TP301.4/1

• 991 __012006009940

• 995 __ |a 261060 |f TP301.4/1

• 999 __ |t C |A cuixiaojing |a 20060912 15:24:03 |I zw |i 20060913 12:00:0