机读格式显示(MARC)

• 000 01068nam2 2200349 4500

• -01 __gzk5401591

• -09 __zyk0104821

• -98 __bm5

• -99 __tsg

• 001 0000104815

• 005 20050529114203.01

• 010 __ |a 7-309-04237-9 |d RMB20.00

• 100 0_ |a 20050319d2004 km y0chiy0120 ea

• 101 1_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a a a 000yy

• 106 2_ |a r

• 200 1_ |9 ban fu hao luo ji |a 半符号逻辑 |e 传统逻辑与符号逻辑的桥梁 |f 张霭珠著

• 210 __ |a 上海 |c 复旦大学出版社 |d 2004

• 215 _0 |a 219页 |c 图 |d 23cm

• 225 _0

• 300 __

• 320 __ |a 有书目。

• 330 __ |a 本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。

• 461 _1 |1 2001

• 517 __ |9 chuan tong luo ji yu fu hao luo ji de qiao liang |a 传统逻辑与符号逻辑的桥梁

• 606 __ |a 数理逻辑

• 690 __ |a O141 |v 4

• 701 __ |4 著 |9 zhang ai zhu |a 张霭珠

• 801 __ |a CN |b ATTC |c 20050628

• 905 __ |a ASTU |d O141/9

• 915 __ |d O141 |e 9 |b 314162