楼主: wxwpxh
616 1

Logical Frameworks for Truth and Abstraction [推广有奖]

  • 4关注
  • 22粉丝

已卖：12903份资源

大师

27%

还不是VIP/贵宾

-

0%
威望
1 级
论坛币
4679413 个
通用积分
27012.5021
学术水平
222 点
热心指数
452 点
信用等级
61 点
经验
133714 点
帖子
4593
精华
0
在线时间
7216 小时
注册时间
2010-1-6
最后登录
2026-2-10
楼主
wxwpxh 在职认证  发表于 2023-2-19 22:26:12 |AI写论文

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

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

经管之家联合CDA

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

立即领取

感谢您参与论坛问题回答

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

+2 论坛币
Logical Frameworks for Truth and Abstraction


作者: Cantini, A.
出版年: 1996-3
页数: 474
定价: $ 192.10
ISBN: 9780444823069







二维码

扫码加我 拉你入群

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

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

分享0
关键词：Frameworks Framework abstract Logical Action

Logical Frameworks for Truth and Abstraction (Studies in Logic and the Foundatio.pdf
下载链接: https://bbs.pinggu.org/a-3912808.html

18.91 MB

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

Logical Frameworks for Truth and Abstraction

相关帖子

沙发
三重虫(未真实交易用户) 发表于 2023-2-20 14:39:22

返回列表
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 我要注册

本版微信群
扫码
拉您进交流群

京ICP备16021002号-2 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2026-2-10 20:41