机读格式显示(MARC)

• 000 01232nam2 2200337 450

• 001 0000071737

• 005 1920040702105534

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

• 100 __ |a 20040702d2003 em y0chiy0121 ea

• 101 0_ |a eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 1_ |a Computability and logic |d = 可计算性与数理逻辑 |e 英文版 |f (美)George S.Boolos, John P.Burgess, Richard C.Jeffreky著 |z chi |A Computability and logic

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

• 215 __ |a 356页 |c 图 |d 24cm

• 225 2_ |a 国外计算机科学教材系列 |A guo wai ji suan ji ke xue jiao cai xi lie

• 305 __ |a 第4版

• 306 __ |a 本书由Cambridge University Press授权出版

• 320 __ |a 有索引(第349-356页)

• 330 __ |a 本书主要论述了可计算性理论、基础元逻辑及一些高级专题。

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

• 510 1_ |a 可计算性与数理逻辑 |A ke ji suan xing yu shu li luo ji |z chi

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

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

• 690 __ |a O141 |v 4

• 701 _1 |a Boolos |b George S. |4 著 |A Boolos

• 701 _1 |a Burgess |b John P. |4 著 |A Burgess

• 701 _1 |a Jeffreky |b Richard C. |4 著 |A Jeffreky

• 801 _0 |a CN |b RENTIAN |c 20031021

• 905 __ |a AUSTL |d O141/B491