楼主: wxwpxh
721 0

Metamathematics, Machines and Gödel's Proof [推广有奖]

  • 4关注
  • 21粉丝

已卖:12467份资源

大师

25%

还不是VIP/贵宾

-

威望
1
论坛币
4702213 个
通用积分
25912.8863
学术水平
222 点
热心指数
452 点
信用等级
61 点
经验
130739 点
帖子
4551
精华
0
在线时间
7133 小时
注册时间
2010-1-6
最后登录
2026-1-20

楼主
wxwpxh 在职认证  发表于 2023-9-1 05:19:28 |AI写论文

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信:zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

感谢您参与论坛问题回答

经管之家送您两个论坛币!

+2 论坛币
Metamathematics, Machines and Gödel's Proof


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








二维码

扫码加我 拉你入群

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

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

关键词:mathematics Mathematic Thematic Machines machine

Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in The.zip
下载链接: https://bbs.pinggu.org/a-4013029.html

1.23 MB

需要: 10 个论坛币  [购买]

Metamathematics, Machines and Gödel's Proof

您需要登录后才可以回帖 登录 | 我要注册

本版微信群
扫码
拉您进交流群
GMT+8, 2026-1-21 03:03