机读格式显示(MARC)

• 000 00947nam2 2200301 4500

• 000 0000194150

• 001 0000147851

• 005 20080506100011.0

• 009 CRLN2004067768

• 010 __ |a 7-04-013798-4 |d CNY10.30

• 035 __ |a (033001)012004031670

• 100 __ |a 20080506d em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑 |9 shu li luo ji |f 毕富生著

• 210 __ |a 北京 |c 高等教育出版社 |d 2004

• 215 __ |a 247页 |d 20cm

• 330 __ |a 本书尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算部分内容，对其中的自然推理系统作了详细介绍，力求用通俗的语言来阐述数理逻辑的基本原理和符号表达公式。

• 606 0_ |a 数理逻辑

• 690 __ |a O141 |v 4

• 701 _0 |a 毕富生 |9 bi fu sheng |4 著

• 801 _0 |a CN |b |c 20080506

• 905 __ |a DQNU |d O141/B63#3

• 991 __

• 995 __ |a ST |f O141/B63 |s 1

• 999 __ |t C |A sxx |a 20080506 10:00:05 |M sxx |m 20080506 10:00:11 |G qiandl |g 20081107 08:19:3