机读格式显示(MARC)
- 000 00967nam2 2200349 4500
- 010 __ |a 7-306-02588-0 |d CNY17.50 |b
- 100 __ |a 20051130d2005 km y0chiy0120 ea
- 200 1_ |a 现代逻辑学讲义 |9 xian dai luo ji xue jiang yi |f 李小五编著 |e 数理逻辑 |d
- 210 __ |a 广州 |c 中山大学出版社 |d 2005
- 330 __ |a 本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容;模态逻辑介绍句子层次上(命题型的)模态逻辑最基本的内容。
- 701 __ |a 李小五 |9 li xiao wu |4 编著
- 801 __ |a CN |b ATSU |c 20061012
- 905 __ |a ASTU |d O141/12
- 915 __ |d O141 |b 460132-36 |e 12 |a