作者：邹崇理
类别：哲学思想电子书
关键词：范畴类型逻辑
整理日期：2018-11-18 11:21:36
下载地址： 本地下载 网友上传
作品导读
简介 本书是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动..
范畴类型逻辑的作者是邹崇理。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。