000    nam0
001 __ 0192023259
005 __ 20100303210214.0
010 __ ■a7-309-00668-2■dCNY2.50
100 __ ■a19920511d1991    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b310000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a数理逻辑的思想和方法■Ashu li luo ji de si xiang he fang fa■f昂 扬编著
210 __ ■a上海■c复旦大学出版社■d1991.9
215 __ ■a230页■d20cm
330 __ ■a本书系统地讲解了数理逻辑的思想与方法,主要内容有:命题逻辑和量词逻辑,重言式公理系统和自然推理系统的构造等。
606 0_ ■2CT■3S069121■a数理逻辑
690 __ ■aO141■v三版
692 __ ■a51.3
701 _0 ■a昂扬■Aang yang■4编著
801 __ ■aCN■bNLC■c20100603