原名:Introduction to Categorical Logic – Andrew Cmu
作品简介:2009 年 10 月 31 日通过范畴论研究逻辑与我们所采取的方法类似
想要将一阶逻辑及其片段与分类相关联……

资源下载
VIP免费升级VIP
显示验证码

社交账号快速登录