000    nam0
001 __ 0194011884
005 __ 20100303210214.0
010 __ ■a7-5327-1214-1■dCNY9.40
100 __ ■a19940326d1993    em y0chiy0110    ea
101 1_ ■achi■ceng
102 __ ■aCN■b310000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a可能世界的逻辑■Ake neng shi jie de luo ji■f(美)马库斯等著■g康宏逵编译
210 __ ■a上海■c上海译文出版社■d1993.5
215 __ ■a429页■d20cm
314 __ ■aR.B.马库斯,40年代开拓量化模态逻辑,曾任美国符号逻辑学会主席
330 __ ■a本书对模态逻辑几个成熟分支进行综述,大多具有历史、哲学、技术三者统一的特点。编译者增写了有趣的案例,谈哥德尔式自指句等。
606 0_ ■2CT■3S093925■a哲理逻辑
690 __ ■aB815■v三版
692 __ ■a16.038
701 _0 ■a马库斯■Ama ku si■bR·B■4著
702 _0 ■a康宏逵■Akang hong kui■4编译
801 __ ■aCN■bNLC■c20100603