Categorical Logic and Type Theory 上传者：zxllstar 2019-09-06 09:44:40上传 PDF文件 31.45MB 热度 40次 CategoricalLogicandTypeTheoryBartJACOBSResearchFellowoftheRoyalNetherlandsAcademyofArtsandSciencesSTUDIESINLOGICANDTHEFOUNDATIONSOFMATHEMATICSVOLUME141 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
