000    nam0
001 __ 0192018818
005 __ 20100303210214.0
010 __ ■a7-5304-0468-7■dCNY8.20
100 __ ■a19920410d1991    kemy0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■af   z   010yd
106 __ ■ar
200 1_ ■a吴允曾选集■Awu yun zeng xuan ji■e数理逻辑与计算机科学■f吴允曾著■g康 奉主编
210 __ ■a北京■c北京科学技术出版社■d1991.5
215 __ ■a321页■c照片■d20cm
314 __ ■a吴允曾(1918～1987),数理逻辑学家、计算机科学家
330 __ ■a本书包括吴先生的论文、演讲等39篇。内容大体分为四类一、关于逻辑;二、关于计算机科学;三、关于数理逻辑与计算机科学的相互关系;四、其它。
606 0_ ■a电子计算机■x文集
606 0_ ■2CT■3S015543■a电子计算机
606 0_ ■a数理逻辑■x文集
606 0_ ■2CT■3S069121■a数理逻辑
690 __ ■aTP3-53■v三版
692 __ ■a73.87085
701 _0 ■a吴允曾■Awu yun zeng■4著
702 _0 ■a康奉■Akang feng■4主编
801 __ ■aCN■bNLC■c20100603