机读格式显示(MARC)

• 000 01003nam2 2200313 4500

• 000 0000151046

• 001 0000109014

• 005 20070920093336.0

• 009 CRLN2005093515

• 010 __ |a 7-306-02588-0 |d CNY17.50(2册)

• 035 __ |a (021001)012005020289

• 100 __ |a 20070920d em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 440000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 现代逻辑学讲义 |9 xian dai luo ji xue jiang yi |i 数理逻辑 |f 李小五编著

• 210 __ |a 广州 |c 中山大学出版社 |d 2005

• 215 __ |a 237页 |d 21cm

• 330 __ |a 模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。本讲义介绍了句子层次上（命题型的）模态逻辑最基本的内容。

• 517 1_ |a 模态逻辑 |9 mo tai luo ji

• 606 0_ |a 模态逻辑 |x 高等学校 |j 教学参考资料

• 690 __ |a B815.1 |v 4

• 701 _0 |a 李小五 |9 li xiao wu |4 编著

• 801 _0 |a CN |b |c 20070920

• 905 __ |a DQNU |d B815.1/L37#1

• 991 __

• 995 __ |a ST |f B815.1/L37 |s 5

• 999 __ |t E |A yhf |a 20070920 09:33:28 |G yhf |g 20070920 09:27:24 |M yhf |m 20070920 09:33:4