| 000 |
|
01042nam0 2200277 450 |
| 001 |
|
95547 |
| 005 |
|
20180115120932.0 |
| 010 |
__ |
■a978-7-111-58122-2■dCNY39.00 |
| 100 |
__ |
■a20180115d2018 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay z 000yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a数理逻辑十二讲■d= Lecture notes in mathematical logic■f宋方敏, 吴骏编著■+...... |
| 210 |
__ |
■a北京■c机械工业出版社■d2018 |
| 215 |
__ |
■a155页■d26cm |
| 300 |
__ |
■a面向CS2013计算机专业规划教材 |
| 330 |
__ |
■a本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理+...... |
| 510 |
1_ |
■aLecture notes in mathematical logic■zeng |
| 606 |
0_ |
■a数理逻辑■j教材■x高等学校■Ashu li luo ji |
| 690 |
__ |
■aO141■v4 |
| 701 |
_0 |
■a宋方敏■4编著■Asong fang min |
| 701 |
_0 |
■a吴骏■4编著■Awu jun |
| 801 |
_0 |
■aCN■b博库书城上海有限公司■c20171218 |
| 905 |
__ |
■aJG■b329209■dO141■eS762 |
| 906 |
__ |
■a329209■h329209■b图书馆 |
| 986 |
__ |
■a329209■h329209■b图书馆 |
(共0票)
评价
