文献检索列表 |
序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
1 | B815.1/H210 | 广义模态逻辑及其应用 | 何向东 … [等] 著 | 人民出版社 | 2005.12 |
2 | B815.1/M103 | 分次模态语言的模型论 | 马明辉著 | 科学出版社 | 2012.06 |
3 | B815.1/W433 | 混合空间逻辑 | 王轶著 | 浙江大学出版社 | 2016.09 |
文献检索列表 |
序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
1 | B815.1/H210 | 广义模态逻辑及其应用 | 何向东 … [等] 著 | 人民出版社 | 2005.12 |
2 | B815.1/M103 | 分次模态语言的模型论 | 马明辉著 | 科学出版社 | 2012.06 |
3 | B815.1/W433 | 混合空间逻辑 | 王轶著 | 浙江大学出版社 | 2016.09 |