| 000 |
|
00918nam0 2200265 450 |
| 010 |
__ |
■a978-7-301-11255-7■dCNY28.00■z7-301-11255-6 |
| 100 |
__ |
■a20090422d2008 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay a 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a数理逻辑■f邢滔滔著■Ashu li luo ji |
| 210 |
__ |
■a北京■c北京大学出版社■d2008.08 |
| 215 |
__ |
■a274页■d23cm |
| 225 |
2_ |
■a博雅大学堂·哲学■Abo ya da xue tang·zhe xue |
| 300 |
__ |
■a普通高等教育“十一五”国家级规划教材 |
| 320 |
__ |
■a有书目 (第272-274页) |
| 330 |
__ |
■a本书介绍一阶逻辑的最基本的知识技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。 |
| 410 |
_0 |
■12001■a博雅大学堂·哲学 |
| 606 |
0_ |
■a数理逻辑■j教材■x高等教育■Ashu li luo ji |
| 690 |
__ |
■aO141■v4 |
| 701 |
_0 |
■a邢滔滔■4著■Axing tao tao |
| 801 |
_0 |
■aCN■bGSXY■c20090422 |
| 905 |
__ |
■aGSXY■fO141/X793 |
| 999 |
__ |
■tC■Aznn■a20090422 16:09:07■Mznn■m20090422 16:09:31 |
(共0票)
评价
