南开哲学教材系列:模态逻辑
《南开哲学教材系列:模态逻辑》内容包括:命题逻辑概述、基本模态语言、多模态语言、加标转移结构、赋值和可满足、
商家名称 |
信用等级 |
购买信息 |
订购本书 |
|
 |
南开哲学教材系列:模态逻辑 |
 |
|
 |
南开哲学教材系列:模态逻辑 |
 |

《南开哲学教材系列:模态逻辑》内容包括:命题逻辑概述、基本模态语言、多模态语言、加标转移结构、赋值和可满足、一些对应结果、一般的汇合结果、三种语义后承、形式系统、一般完全性结果、克里普克,完全性等。
网友对南开哲学教材系列:模态逻辑的评论
喜欢南开哲学教材系列:模态逻辑请与您的朋友分享,由于版权原因,读书人网不提供图书下载服务