Metamathematics, Machines and Gödel's Proof
作者: N. Shankar
出版年: 1997-1
页数: 220
定价: $ 63.28
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521585330
|
楼主: wxwpxh
|
721
0
Metamathematics, Machines and Gödel's Proof |
|
已卖:12467份资源 大师 25%
-
|
| ||
|
|
扫码京ICP备16021002号-2 京B2-20170662号
京公网安备 11010802022788号
论坛法律顾问:王进律师
知识产权保护声明
免责及隐私声明


