机读格式显示(MARC)
- 000 00772nam0 2200241 450
- 010 __ |a 7-306-02678-X |d CNY28.00
- 100 __ |a 20060417e20072006em y0chiy0110 ea
- 200 1_ |a 自然演绎逻辑导论 |9 zi ran yan yi luo ji dao lun |f 陈晓平著
- 210 __ |a 广州 |c 中山大学出版社 |d 2006 |h 2007年第2次印刷
- 215 __ |a 12,281页 |d 23cm
- 300 __ |a 华南师范大学管理科学新专业、重点学科建设经费资助出版
- 330 __ |a 本书在自然演绎系统的框架内展开,阐述了命题逻辑、谓词逻辑、模态逻辑等演绎逻辑的基本内容。
- 701 _0 |a 陈晓平 |9 chen xiao ping |4 著
- 801 _0 |a CN |b ZPHC |c 20080523
- 905 __ |a ZPHC |d B812.23/3