借阅：0人
收藏：0人
临界的传递逻辑
- 查看机读格式
ISBN/ISSN：978-7-03-053081-3
价格：CNY78.00
出版：北京 科学出版社 ,2017.07
载体形态：244页 图 ;24cm
附注：国家社科基金后期资助项目
简介：本书内容包括: 点式归约初探 ; 传递逻辑格中有穷深度濒表格逻辑的语义判据 ; 传递逻辑格中无穷深度濒表格逻辑的语义判据 ; 淑表格逻辑语义判据的应用等。
其他题名：模态逻辑的濒表格性问题探究
中图分类号：B815.1
责任者：杜珊珊 著
-
评分：
-
加入暂存架
豆瓣内容简介：
豆瓣作者简介：
| 分馆名 | 馆藏部门 | 图书条码 | 索书号 | 登录号 | 卷期 | 状态 |
| A | 社科图书借阅空间（长安校区图书馆3楼） | 03572407 | B815.1/2 | 03572407 | 在架可借 | |
| A | 社科图书借阅空间（长安校区图书馆3楼） | 03572405 | B815.1/2 | 03572405 | 在架可借 | |
| A | 社科图书借阅空间（长安校区图书馆3楼） | 03572406 | B815.1/2 | 03572406 | 在架可借 |
| 序号 | 图书条码 | 索书号 | 登录号 | 藏书部门 | 流通状态 | 年卷期 | 装订册 | 装订方式 | 装订颜色 |
| 类型 | 说明 | URL |
| 评 论 |
评分：
发表
借阅关系图
热门检索信息
扫描图书信息
扫描图片信息到手机上，便于查找书架！
借阅趋势
相关资源
相关图书
