| 000 |
|
01057nam0 2200253 450 |
| 010 |
__ |
■a978-7-03-009657-9■dCNY29.00 |
| 100 |
__ |
■a20120714e2012 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay z 001yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a面向计算机科学的数理逻辑■f陆钟万著■AMian Xiang Ji Suan Ji Ke Xue De Shu Li+...... |
| 205 |
__ |
■a2版 |
| 210 |
__ |
■a北京■c科学出版社■d2002■h2012.06重印 |
| 215 |
__ |
■a13,263页■d21cm |
| 225 |
2_ |
■a中国科学院研究生教学丛书■AZhong Guo Ke Xue Yuan Yan Jiu Sheng Jiao Xue+...... |
| 330 |
__ |
■a本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模+...... |
| 410 |
_0 |
■12001■a中国科学院研究生教学丛书 |
| 606 |
0_ |
■a数理逻辑 |
| 690 |
__ |
■aO141■v4 |
| 701 |
_0 |
■a陆钟万■4著■ALu Zhong Wan |
| 801 |
_0 |
■aCN■bGSXY■c20170525 |
| 905 |
|
■aGSXY■fO141/L964=2■g1300819■g1300820 |
| 999 |
__ |
■Mlwq■m20170525 14:26:59 |
(共0票)
评价
