| 000 |
|
00961nam 2200265 450 |
| 001 |
|
CAL 010030151340 |
| 010 |
__ |
■a978-7-03-020096-9■b精装■dCNY58.00 |
| 100 |
__ |
■a20071224d2008 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ak a 001yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a数理逻辑■e基本原理与形式演算■f李未著■Ashu li luo ji |
| 210 |
__ |
■a北京■c科学出版社■d2008 |
| 215 |
__ |
■axi, 255页■d25cm |
| 225 |
2_ |
■a信息科学与技术基础丛书■Axin xi ke xue yu ji shu ji chu cong shu |
| 320 |
__ |
■a有书目 (第250-252页) 和索引 |
| 330 |
__ |
■a本书共分十章: 前五章涵盖了经典数理逻辑的核心, 内容包括一阶语言的语法与模型, 形式推理系统, 可计算性与可表示性+...... |
| 410 |
_0 |
■12001 ■a信息科学与技术基础丛书 |
| 606 |
0_ |
■a数理逻辑■Ashu li luo ji |
| 690 |
__ |
■aO141■v5 |
| 701 |
_0 |
■a李未■4著■Ali wei |
| 801 |
_0 |
■aCN■b人天书店■c20071224 |
| 905 |
|
■aJG■b460509■b460510■dO141/L283 |
(共0票)
评价
