000    nam0
001 __ 0194004965
005 __ 20100303210214.0
010 __ ■a7-208-01532-5■dCNY8.20
100 __ ■a19940204d1993    em y0chiy0110    ea
101 0_ ■achi
102 __ ■aCN■b310000
105 __ ■ay   z   000yy
106 __ ■ar
200 1_ ■a相干与衍推逻辑■Axiang gan yu yan tui luo ji■f冯 棉著
210 __ ■a上海■c上海人民出版社■d1993.8
215 __ ■a254页■d20cm
314 __ ■a冯 棉,上海华东师范大学任教
330 __ ■a本书论述了以R和E为代表的相干与衍推命题逻辑系统及与R、E相近的其它一些系统,并对各个逻辑系统的基本特性、系统的相互关系作了考察。
606 0_ ■2CT■3S053052■a命题逻辑
690 __ ■aO141■v三版
692 __ ■a51.3
701 _0 ■a冯棉■Afeng mian■4著
801 __ ■aCN■bNLC■c20100603