机读格式显示(MARC)

• 000 01166nam0 2200337 450

• 001 0000050092

• 005 20170426095000.0

• 010 __ |a 7-5304-0468-7 |b 精装 |d CNY8.20

• 099 __ |a CAL 011999015712 |a CAL 012000439071 |a CAL 012000453559 |a CAL 012000722228

• 100 __ |a 19990420d1991 ekmy0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a z 010yd

• 106 __ |a r

• 200 1_ |a 吴允曾选集 |A wu yun zeng xuan ji |e 数理逻辑与计算机科学 |f 吴允曾著 |g 康奉主编

• 210 __ |a 北京 |c 北京科学技术出版社 |d 1991

• 215 __ |a 321页 |c 图 |d 20cm

• 314 __ |a 吴允曾(1918～1987),数理逻辑学家、计算机科学家

• 330 __ |a 本书内容一、关于逻辑;二、关于计算机科学;三、关于数理逻辑与计算机科学的相互关系;四、其它。

• 510 1_ |a Selections From Professor Wu Yunzeng |z eng

• 600 _0 |a 吴允曾, |A wu yun zeng |f 1918-1987 |j 文集

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

• 606 0_ |a 电子计算机 |A dian zi ji suan ji |j 文集

• 690 __ |a TP3-05 |v 3

• 690 __ |a TP3-53 |v 3

• 701 _0 |a 吴允曾, |A wu yun zeng |f 1918-1987 |4 著

• 702 _0 |a 康奉 |A kang feng |4 主编

• 801 _0 |a CN |b NLC |c 19920410

• 801 _2 |a CN |b PUL

• 905 __ |a SCNU |f TP3-05/0050

• 920 __ |a 242430 |z 1