全部版块 我的主页
论坛 数据科学与人工智能 IT基础
697 2
2023-03-25


封面仅供参考


A first course in logic:an introduction to model theory, proof theory, computability, and complexity
书目详细资料

主要作者:

Hedman Shawn

出版社:

Oxford New York Oxford University Press, 2004.

出版地:

Oxford New York

出版时间:

2004.

文献类型:

图书

语言:

英语

丛书名:

Oxford texts in logic


附件列表

A First Course in Logic(an introduction to model theory proof theory computabili.pdf

大小:6.96 MB

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

A First Course in Logic(an introduction to model theory proof theory computability and complexity)He ...

二维码

扫码加我 拉你入群

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

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

全部回复
2023-3-30 22:11:11
不知道是讲什么
二维码

扫码加我 拉你入群

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

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

2025-5-2 16:42:13
gppyc1101 发表于 2023-3-30 22:11
不知道是讲什么
an introduction to model theory, proof theory, computability, and complexity:模型论、证明论、可计算性和复杂性导论
二维码

扫码加我 拉你入群

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

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

相关推荐
栏目导航
热门文章
推荐文章

说点什么

分享

扫码加好友,拉您进群
各岗位、行业、专业交流群