Metamathematics, Machines and Gödel's Proof - 经管之家

› 论坛 › 数据科学与人工智能 › IT基础

Metamathematics, Machines and Gödel's Proof

722

0

收藏 2023-09-01

Metamathematics, Machines and Gödel's Proof

作者: N. Shankar
出版年: 1997-1
页数: 220
定价: $ 63.28
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521585330

附件列表

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in The.zip

大小:1.23 MB

只需: 10 个论坛币马上下载

Metamathematics, Machines and Gödel's Proof

二维码

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

相关推荐

栏目导航

热门文章

推荐文章

扫码加好友，拉您进群

各岗位、行业、专业交流群