| 000 |
|
00710nam0 2200229 450 |
| 010 |
__ |
■a7-81061-968-3■dCNY14.00 |
| 100 |
__ |
■a20100714d2004 ekmy0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b430000 |
| 105 |
__ |
■ay z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a数理逻辑■f孙明湘著■Ashu li luo ji |
| 210 |
__ |
■a长沙■c中南大学出版社■d2004 |
| 215 |
__ |
■a223页■d214cm |
| 320 |
__ |
■a有书目 (第223页) |
| 330 |
__ |
■a本书包括绪论、命题演算、谓词演算、模态逻辑演算、构造性逻辑演算等内容。 |
| 606 |
0_ |
■a数理逻辑■j教材■x高等学校■Ashu li luo ji |
| 690 |
__ |
■aO14■v4 |
| 701 |
_0 |
■a孙明湘■4著■Asun ming xiang |
| 801 |
_0 |
■aCN■bGSXY■c20100714 |
| 905 |
|
■aGSXY■fO14/S535■g0800436■g0800437■g0800438■g0800439■g080044+...... |
| 999 |
__ |
■tC■Aznn■a20100714 14:06:38■Mznn■m20100714 14:06:56 |