机读格式显示(MARC)

• 000 00791nam2 2200241 4500

• 001 0000146124

• 005 20041203082629.0

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

• 100 __ |a 20040518d2004 em y0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

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

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

• 215 __ |a 398页 |d 20cm

• 330 __ |a 本书介绍了作者所创立的互逆主义—— 数理逻辑的第四学派。全书共分五篇：互逆主义逻辑演算；互逆主义集合论；互逆主义抽象代数；互逆主义证明与互逆主义模型论；互逆主义递归论。

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 研究

• 690 __ |a O141 |v 4

• 701 _0 |a 周训伟 |A zhou xun wei |4 著

• 801 _0 |a CN |b 541

• 905 __ |a HIEL |d O141/732

• 999 __ |a 23 |b 8 |e 134