Resource Logics - Proof Theoretical Investigations
收藏数据链接:
官方服务:
资源简介:
Ph.D thesis in Mathematical Logic. Linear Logic, Modal Logic, Lambek Calculus
提供机构:
figshare创建时间:
2016-01-18

Ph.D thesis in Mathematical Logic. Linear Logic, Modal Logic, Lambek Calculus