机读格式显示(MARC)

• 000 01004nam0 2200301 45

• 001 0000055685

• 005 20030227150000.0

• 010 __ |a 7-300-00408-3 |d $2.15

• 020 __ |a CN |b 89013425

• 100 __ |a 20000318d1988 m y0chiy0120 ea

• 101 1_ |a chi |c jpn

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 推理与证明 |A tui li yu zheng ming |e 现代逻辑的技巧 |E xian dai luo ji de ji qiao |f (日)内井〓七著 |F ( ri ) nei jing zong qi zhu |g 陈祖军等译

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

• 215 __ |a 176页 |d 20厘米

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

• 540 1_ |a 推理 证明 现代逻辑 技巧 |A tui li zheng ming xian dai luo ji ji qiao

• 606 __ |a 推理-数理逻辑

• 606 __ |a 数学逻辑-推理

• 606 __ |a 证明-数理逻辑

• 606 __ |a 数理逻辑-证明

• 690 __ |a B812 |v 3

• 701 _0 |a 内井〓七 |A nei jing zong qi |4 著

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

• 801 _0 |a CN |b NLC |c 19910304

• 905 __ |a Wuxilib |d B812/83