Categorical logic and type theory - 经管之家

› 论坛 › 经济学论坛三区 › 微观经济学 › 经济金融数学专区

Categorical logic and type theory

354

0

收藏 2023-09-27

Categorical logic and type theory

屏幕截图.png

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

附件列表

Categorical Logic and Type Theory (Studies in logic and the foundations of mathe.pdf

大小:24.85 MB

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

Categorical logic and type theory

二维码

扫码加我拉你入群

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

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

相关推荐

栏目导航

热门文章

推荐文章

扫码加好友，拉您进群

各岗位、行业、专业交流群