机读格式显示(MARC)
- 000 01125nam2 2200325 4500
- 010 __ |a 7-03-011579-1 |d CNY29.00
- 100 __ |a 20040621d2003 em y0chiy0110 ea
- 200 1_ |a 数理逻辑引论与归结原理 |9 shu li luo ji yin lun yu gui jie yuan li |f 王国俊著
- 210 __ |a 北京 |c 科学出版社 |d 2003
- 225 2_ |a 现代数学基础丛书 |A Xiandaishuxuejichucongshu |v 85
- 300 __ |a 陕西师范大学优秀学术著作基金资助出版
- 330 __ |a 本书讲述了与逻辑演算有密切关系的Boole代数理论;命题演算与一阶谓词演算理论;归结原理理论以及多值逻辑演算理论等内容。
- 461 _0 |1 0010199047433 |1 2001 |a 现代数学基础丛书 |v 85
- 606 0_ |a 数理逻辑 |A Shuliluoji
- 606 0_ |a 归结方法 |A Guijiefangfa
- 701 _0 |a 王国俊 |9 wang guo jun |f (1935~) |4 著
- 801 _0 |a CN |b 261060 |c 20040630
- 905 __ |a XATU |d O141/19
- 995 __ |a 261060 |f O141/19
- 999 __ |t C |A shxy |a 20040621 14:39:03 |I cuixj |i 20040630 10:24:17 |G cuixj |g 20040630 10:24:2