范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。本书对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。
暂无简介
用户未登录无权限查看参考文献
作者:田立刚
先秦逻辑范畴研究
作者:贾青
范畴类型逻辑及其在汉语反身代词回...
作者:颜翔林
审美范畴
作者:严春友
范畴的世界:西方哲学范畴专题研究
作者:刘邦凡
逻辑、知识与认知逻辑
作者:王加良
中国“类”范畴思想研究
作者:赵凤岐
辩证法·范畴与现实
作者:杨红玉
逻辑学:从形式逻辑到非形式逻辑
余额不足,请先充值或选择其他支付方式
账户:admin,可用余额 元
没有账号,快速注册
请使用手机登录默认注册账号
已有账号,返回登录
返回登录