000
01665nam0 2200397 45
001
012005000000
005
20051207091358.71
010
@ a7-121-00779-7@ dCNY32.00
100
@ a20051107d2005 em y0chiy0121 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ ay z 000yy
200
1
@ a可计算性与数理逻辑@ Ake ji suan xing yu shu li luo ji@ d= Computability and logic@ f(美)[布勒斯]George S. Boolos，(美)John P. Burgess，(美)Richard C. Jeffrey著@ g何自强等译@ zeng
210
@ a北京@ c电子工业出版社@ d2005.7
215
@ a12,288页@ d26cm
225
2
@ a国外计算机科学教材系列@ Aguo wai ji suan ji ke xue jiao cai xi lie
304
@ a书名原文：Computability and logic, Fourth edition
305
@ a据原书第4版译出
306
@ aCambridge University Press授权出版
314
@ a何自强，北京航空航天大学计算机学院教授，译有《可计算性与数理逻辑》。
320
@ a有书目
330
@ a本书主要论述了可计算性理论、基础元逻辑及一些高级专题，包括可枚举性、对角化、图灵可计算性、不可计算性、算盘可计算性等27章内容。
333
@ a阅读对象：计算机科学、哲学等专业的学生等
461
0
@ 12001 @ a国外计算机科学教材系列
510
1
@ aComputability and logic@ zeng
606
0
@ a电子计算机@ Adian zi ji suan ji@ x可计算性@ j教材
606
0
@ a数理逻辑@ Ashu li luo ji@ j教材
606
0
@ a可计算性@ Ake ji suan xing
690
@ aTP301.4@ v4
690
@ aO141@ v4
701
1
@ c(美)@ a布勒斯,@ Abu le si@ bG. S.@ g(Boolos, George S.)@ 4著
701
1
@ c(美)@ aBurgess,@ bJ. P.@ g(Burgess, John P.)@ 4著
701
1
@ c(美)@ aJeffrey,@ bR. C.@ g(Jeffrey, Richard C.)@ 4著
702
0
@ a何自强@ Ahe zi qiang@ 4译
801
0
@ aCN@ bSRXX@ c20051207
905
@ a10447@ dTP301.4@ eB982
可计算性与数理逻辑= Computability and logic/(美)[布勒斯]George S. Boolos，(美)John P. Burgess，(美)Richard C. Jeffrey著/何自强等译.-北京：电子工业出版社，2005.7 12,288页；26cm.-(国外计算机科学教材系列) 使用对象：阅读对象：计算机科学、哲学等专业的学生等 ISBN 7-121-00779-7：CNY32.00 本书主要论述了可计算性理论、基础元逻辑及一些高级专题，包括可枚举性、对角化、图灵可计算性、不可计算性、算盘可计算性等27章内容。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
546354
205463540
自科库301/301自科库 45排4列5层/
[索取号:TP301.4/B982]
在馆
2
546355
205463559
自科二线404/404自科库 12排6列2层/
[索取号:TP301.4/B982]
在馆
3
546356
205463568
自科库301/301自科库 45排4列5层/
[索取号:TP301.4/B982]
在馆
