检索到 3 条 分类号=B815.1 的结果
-
中文图书1.模态逻辑教程 B815.1/W877
馆藏复本：1
可借复本：1 文学锋编著
科学出版社 2021.03
(0) 馆藏 -
中文图书2.逻辑、信息和互动 B815.1-53/F163
馆藏复本：3
可借复本：3 (荷) 约翰·范本特姆著
科学出版社 2008.06
(1) 馆藏 -
中文图书3.广义模态逻辑及其应用 B815.1/H875
馆藏复本：3
可借复本：3 何向东 ... [等] 著
人民出版社 2005
(0) 馆藏
