机读格式显示(MARC)
- 010 __ |a 7-121-00779-7 |d CNY32.00
- 099 __ |a CAL 012005088329
- 100 __ |a 20050726d2005 em y0chiy0121 ea
- 200 1_ |a 可计算性与数理逻辑 |A ke ji suan xing yu shu li luo ji |d = Computability and logic |f (美) George S. Boolos, John P. Burgess, Richard C. Jeffrey著 |g 何自强等译 |z eng
- 210 __ |a 北京 |c 电子工业出版社 |d 2005
- 215 __ |a 12, 288页 |c 图 |d 26cm
- 225 2_ |a 国外计算机科学教材系列 |A guo wai ji suan ji ke xue jiao cai xi lie
- 306 __ |a 由Cambridge University Press授权电子工业出版社出版发行, 据Cambridge University Press, 2002年英文版第4版译.
- 314 __ |a 责任者 (Burgess) 规范汉译姓: 伯吉斯; 责任者 (Jeffrey) 规范汉译姓: 杰弗里.
- 410 _0 |1 2001 |a 国外计算机科学教材系列
- 510 1_ |a Computability and logic |z eng
- 606 0_ |a 可计算性 |A ke ji suan xing |j 教材
- 606 0_ |a 数理逻辑 |A shu li luo ji |j 教材
- 701 _1 |a 布勒斯, |A bu le si |b G. S. |g (Boolos, George S.) |4 著
- 701 _1 |a 伯吉斯, |A bo 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 著
- 702 _0 |a 何自强 |A he zi qiang |4 译
- 801 _0 |a CN |b TL |c 20050726
- 801 _2 |a CN |b BUPT |c 20050829
- 801 _2 |a CN |b SCNU |c 20051101
- 905 __ |a SCNU |f O141/1069
- 999 __ |M wp |m 20051101 15:23:03 |G gly |g 20051103 08:30:49
- 907 __ |a SCNU |f O141/1069