000    nam0
001 __ 0193021533
005 __ 20100303210214.0
010 __ ■a7-5603-0352-8■dCNY4.30
100 __ ■a19800101d1991    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b230000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a数理逻辑引论■Ashu li luo ji yin lun■f孙希文编著
210 __ ■a哈尔滨■c哈尔滨工业大学出版社■d1991.12
215 __ ■a237页■d26cm
330 __ ■a本书内容包括∶数理逻辑的两个部分,证明论、模型论。讨论了一阶理论的语法语义、一阶理论的特征问题及其等价定义等。
606 0_ ■2CT■3S069121■a数理逻辑
690 __ ■aO141■v三版
692 __ ■a51.3
701 _0 ■a孙希文■Asun xi wen■4编著
801 __ ■aCN■bNLC■c20100603