当前位置:
主页
>
资源下载 > Proof, Computation and Agency_ Logic at the Crossroads (2011)下载
-
Proof, Computation and Agency_ Logic at the Crossroads (2011)下载
-
更新：2024-09-23 16:45:47
-
大小：8.67MB
-
推荐：★★★★★
-
来源：网友上传分享
-
类别：讲义 - 课程资源
-
格式：PDF
资源介绍
这是关于证明、计算、逻辑的电子书，高清，最新版本，经典著作，英文版
