000    nam0
001 __ 0193001741
005 __ 20100303210214.0
010 __ ■a7-5320-2688-4■b精装■dCNY7.85
100 __ ■a19930104d1992    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b310000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a逻辑语义学研究■Aluo ji yu yi xue yan jiu■f朱水林主编
210 __ ■a上海■c上海教育出版社■d1992.8
215 __ ■a368页■d20cm
314 __ ■a朱水林,上海社会科学院哲学研究所任职
330 __ ■a本书共9章。论述了逻辑语义学的基本理论和最新进展,阐述了作为一阶逻辑和高阶逻辑的归约的λ-演算与人工智能理论等。
606 0_ ■a逻辑■x语义学
606 0_ ■2CT■3S050117■a逻辑
606 0_ ■2CT■3S091227■a语义学
690 __ ■aH030-05■v三版
692 __ ■a41.12038
701 _0 ■a朱水林■Azhu shui lin■4主编
801 __ ■aCN■bNLC■c20100603