Categorical Logic and Type Theory

所需积分/C币:20 2015-03-24 17:27:15 31.45MB PDF
36
收藏 收藏
举报

Categorical Logic and Type Theory Bart JACOBS Research Fellow of the Royal Netherlands Academy of Arts and Sciences STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 141

...展开详情
试读 127P Categorical Logic and Type Theory
立即下载
限时抽奖 低至0.43元/次
身份认证后 购VIP低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
Categorical Logic and Type Theory 20积分/C币 立即下载
1/127
Categorical Logic and Type Theory第1页
Categorical Logic and Type Theory第2页
Categorical Logic and Type Theory第3页
Categorical Logic and Type Theory第4页
Categorical Logic and Type Theory第5页
Categorical Logic and Type Theory第6页
Categorical Logic and Type Theory第7页
Categorical Logic and Type Theory第8页
Categorical Logic and Type Theory第9页
Categorical Logic and Type Theory第10页
Categorical Logic and Type Theory第11页
Categorical Logic and Type Theory第12页
Categorical Logic and Type Theory第13页
Categorical Logic and Type Theory第14页
Categorical Logic and Type Theory第15页
Categorical Logic and Type Theory第16页
Categorical Logic and Type Theory第17页
Categorical Logic and Type Theory第18页
Categorical Logic and Type Theory第19页
Categorical Logic and Type Theory第20页

试读结束, 可继续阅读

20积分/C币 立即下载