000    oam2
001 __ 0194028746
005 __ 20100303210214.0
010 __ ■a7-5004-1307-6■dCNY10
100 __ ■a19940718d1994    kemy0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b110000
105 __ ■ay   z   001yy
106 __ ■ar
200 1_ ■a一阶逻辑与一阶理论■Ayi jie luo ji yu yi jie li lun■f叶 峰编著
210 __ ■a北京■c中国社会科学出版社■d1994.1
215 __ ■a223页■d20cm
225 2_ ■a现代逻辑丛书
300 __ ■a此项研究成果受国家社会科学基金资助
314 __ ■a叶 峰,北京大学任教
330 __ ■a本书分:一阶语言的语法、一阶语言的语义、一阶推理系统、一阶理论4章。
410 _0 ■12001■a现代逻辑丛书
606 0_ ■2CT■3S069121■a数理逻辑
690 __ ■aO141■v三版
692 __ ■a51.3
701 _0 ■a叶峰■Aye feng■4编著
801 __ ■aCN■bNLC■c20100603