人大经济论坛 › 论坛 › 经济学论坛三区 › 微观经济学 › 经济金融数学专区 › Categorical logic and type theory

发帖

楼主: wxwpxh

377 0

[教材书籍] Categorical logic and type theory [推广有奖]

4关注
20粉丝

已卖：11796份资源

大师

21%

还不是VIP/贵宾

威望: 1 级
论坛币: 4562310 个
通用积分: 23035.9554
学术水平: 222 点
热心指数: 452 点
信用等级: 61 点
经验: 125778 点
帖子: 4456
精华: 0
在线时间: 6879 小时
注册时间: 2010-1-6
最后登录: 2025-12-9

楼主

wxwpxh

发表于 2023-9-27 13:47:22 |AI写论文

是否 +2 论坛币

k人参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

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

立即领取

感谢您参与论坛问题回答

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

+2 论坛币

Categorical logic and type theory
屏幕截图.png

出版社: Elsevier Science,
出版地: Amsterdam
丛书名: Studies in logic and the foundations of mathematics
Type theory Categories (Mathematics)

扫码加我拉你入群

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

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

分享0 收藏0 回帖

关键词：Categorical Theory Logic type Theo

Categorical Logic and Type Theory (Studies in logic and the foundations of mathe.pdf
下载链接: https://bbs.pinggu.org/a-4032902.html

24.85 MB

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

Categorical logic and type theory

[教材书籍] Categorical logic and type theory [推广有奖]

经管之家送您一份

经管之家联合CDA

感谢您参与论坛问题回答

扫码加我拉你入群

相关帖子

浏览过的帖子

浏览过的版块

本版微信群

[教材书籍] Categorical logic and type theory [推广有奖]

经管之家送您一份

经管之家联合CDA

感谢您参与论坛问题回答

扫码加我 拉你入群

相关帖子

浏览过的帖子

浏览过的版块

本版微信群

扫码加我拉你入群