MARC状态:审校 文献类型:西文图书 浏览次数:31
- 题名/责任者:
- Standard completeness for semilinear substructural logics / Wang Sanmin = 半线性子结构逻辑的标准完备性 / 王三民.
- 出版发行项:
- Beijing : Science Press, [2020]
- ISBN:
- 9787030668769
- 载体形态项:
- iv, 257 pages ; 24 cm
- 变异题名:
- 半线性子结构逻辑的标准完备性
- 个人责任者:
- Wang, Sanmin author.
- 论题主题:
- Fuzzy logic.
- 论题主题:
- Mathematical analysis.
- 中图法分类号:
- O141
- 书目附注:
- Includes bibliographical references (pages 256-257).
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O141/E6 | 800008697 | 西文 | 可借 | 西文 | |
O141/E6 | 800008698 | 西文 | 可借 | 西文 |
显示全部馆藏信息