| 000 |
|
00889nam0 2200265 450 |
| 010 |
__ |
■a978-7-312-02708-6■dCNY22.00■z7-312-02708-3 |
| 100 |
__ |
■a20120315d2010 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b340000 |
| 105 |
__ |
■ay a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a数理逻辑■f汪芳庭编著■Ashu li luo ji |
| 205 |
__ |
■a第2版 |
| 210 |
__ |
■a合肥■c中国科学技术大学出版社■d2010.09 |
| 215 |
__ |
■a204页■d23cm |
| 320 |
__ |
■a有书目 |
| 330 |
__ |
■a本书内容分两部分: 第一部分属数理逻辑基础, 包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备+...... |
| 333 |
__ |
■a普通高等学校“十一五”规划教材 |
| 606 |
0_ |
■a数理逻辑■j教材■x高等学校■Ashu li luo ji |
| 690 |
__ |
■aO141■v4 |
| 701 |
_0 |
■a汪芳庭■4编著■Awang fang ting |
| 801 |
_0 |
■aCN■bRENTIAN■c20101019 |
| 801 |
_2 |
■aCN■bGSXY■c20120315 |
| 905 |
__ |
■aGSXY■fO141/W333=2 |
| 999 |
__ |
■tC■Ayw1■a20120315 14:32:51■Myw1■m20120315 14:33:59 |
(共0票)
评价
