000    nam0
001 __ 0194000831
005 __ 20100303210214.0
010 __ ■a7-303-01581-7■dCNY5.55
100 __ ■a19931116d1993    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a符号逻辑基础■Afu hao luo ji ji chu■f宋文淦著
210 __ ■a北京■c北京师范大学出版社■d1993.4
215 __ ■a267页■d20cm
300 __ ■a北京市社会科学理论著作出版基金资助
330 __ ■a包括:绪论、命题逻辑、命题演算、一阶谓词逻辑4章。
606 0_ ■2CT■3S069121■a数理逻辑
690 __ ■aO141■v三版
692 __ ■a51.3
701 _0 ■a宋文淦■Asong wen gan■4著
801 __ ■aCN■bNLC■c20100603