机读格式显示(MARC)

• 000 01172nam0 2200397 450

• 001 0000011600

• 010 __ |a 7-300-00408-3 |d CNY2.15

• 099 __ |a CAL 012000705229

• 100 __ |a 19990720d1988 ekmy0chiy0121 ea

• 101 1_ |a chi |c jpn

• 102 __ |a CN |b 110000

• 105 __ |a ak z 000yy

• 106 __ |a r

• 200 1_ |a 推理与证明 |A tui li yu zheng ming |e 现代逻辑的技巧 |f (日) 内井惚七著 |g 陈祖军等译

• 210 __ |a 北京 |c 中国人民大学出版社 |d 1988

• 215 __ |a 176页 |c 图 |d 20cm

• 330 __ |a 本书突出符号逻辑的主要内容，深入浅出地介绍符号逻辑各种有效推理与证明方法。

• 517 1_ |a 现代逻辑的技巧 |A xian dai luo ji de ji qiao

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 推理

• 690 __ |a B813 |v 4

• 690 __ |a O141 |v 4

• 701 _0 |a 内井惚七 |A nei jing hu qi |4 著

• 702 _0 |a 陈祖军 |A chen zu jun |4 译

• 801 _0 |a CN |b SEU |c 20020702

• 801 _2 |a CN |b SCNU |c 20050512

• 905 __ |a SCNU |f B813/4052

• 920 __ |a 211070 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 241010 |z 1

• 920 __ |a 244050 |z 1

• 998 __ |a BIT

• 999 __ |M wxh |m 20050512 15:53:03 |G xfm |g 20050513 08:41:30

• 000 0000014000

• 991 __ |a 0198003522

• 907 __ |a SCNU |f B813/4052