机读格式显示(MARC)

• 000 01081nam2 2200337 4500

• 000 0000121578

• 001 0000087090

• 005 20041221145150.0

• 009 002660182

• 010 __ |a 7-5046-1431-9 |d CNY30.00

• 100 __ |a 20041216d2004 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 互逆主义数理逻辑 |9 hu ni zhu yi shu li luo ji |f 周训伟著

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

• 215 __ |a 398页 |d 20cm

• 300 __ |a 北京市自然科学基金委员会资助出版

• 314 __ |a 周训伟，北京工业大学计算机系研究生毕业，现任北京联合大学信息学院副教授。

• 330 __ |a 本书介绍了互逆主义逻辑演算、集合论、抽象代数及互逆主义递归论等。

• 606 0_ |a 数理逻辑 |x 研究 |A Shuliluoji

• 606 0_ |a 数理逻辑 |A Shuliluoji

• 690 __ |a O141 |v 4

• 701 _0 |a 周训伟 |9 zhou xun wei |f (1952.9~) |4 著

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

• 801 _2 |a CN |b 261060 |c 20041221

• 905 __ |a XATU |d O141/20

• 991 __012004019982

• 995 __ |a 261060 |f O141/20

• 999 __ |t C |A cuixj |a 20041216 10:53:44 |I zw |i 20041221 14:51:50 |G zw |g 20041221 14:51:5