机读格式显示(MARC)
- 000 00872nam 22200277 4450
- 010 __ |a 7-208-01532-5 |d $8.20
- 100 __ |a 19970504d1993 em y0chiy0121 ea
- 200 10 |a 相干与衍推逻辑 |f 冯 棉著 |F FENG MIAN ZHU |A XIANG GAN YU YAN TUI LUO JI
- 210 __ |a 上海 |b 上海 |c 上海人民出版社 |d 1993.8
- 330 __ |a 本书论述了以R和E为代表的相干与衍推命题逻辑系统及与R、E相近的其它一些系统,并对各个逻辑系统的基本特性、系统的相互关系作了考察。
- 540 1_ |a 相干 衍推 |A XIANG GAN YAN TUI
- 801 _0 |a CN |b Library |c 19970530 |U ZHY
- 801 _2 |a CN |b Library |c 20010713 |U MARC