机读格式显示(MARC)
- 000 01105nam0 2200277 450
- 010 __ |a 978-7-5624-6082-4 |d CNY29.80
- 099 __ |a CAL 012011195245
- 100 __ |a 20110614d2011 em y0chiy50 ea
- 200 1_ |a 现代逻辑导引 |A xian dai luo ji dao yin |f 杨长福 ... [等] 编著
- 210 __ |a 重庆 |c 重庆大学出版社 |d 2011
- 215 __ |a 240页 |c 图 |d 24cm
- 330 __ |a 本书主要包括四个部分:第一部分简略地介绍了传统逻辑学的基本内容,主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容,主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容,主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代发展情况的一些简略的介绍,主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。
- 606 0_ |a 逻辑 |A luo ji |x 高等学校 |j 教材
- 701 _0 |a 杨长福 |A yang chang fu |4 编著
- 801 _0 |a CN |b CEPC1 |c 20110616
- 905 __ |a JHUD |d B81/201