文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 | 预约/借 |
| 1 | O141.2/134 | 逻辑动态系统的应用研究进展 | 闫永义, 岳菊梅著 | 中国水利水电出版社 | 2019.10 | 预约/借 |
| 2 | O141.2/143=2 | 数学证明 | 萧文强著 | 大连理工大学出版社 | 2016.1 | 预约/借 |
| 3 | O141.2/26:1 | 元数学导论 | (美)克林(S.C.Kleene)著;莫绍揆译 | 科学出版社 | 1984 | 预约/借 |
| 4 | O141.2/97 | 高阶逻辑辅助证明系统 | (德)托比亚斯·尼普科夫(Tobias Nipkow)，( | 北京理工大学出版社 | 2013 | 预约/借 |