文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 | 预约/借 |
| 1 | G303/45:21 | 奇异的循环 | 杨熙龄著 | 辽宁人民出版社 | 1986 | 预约/借 |
| 2 | G633.6/94 | 数学归纳法 | 蒋文蔚, 杨延龄编 | 北京师范大学出版社 | 1985 | 预约/借 |
| 3 | O1-0/158 | 公理学、元数学与哲学 | 张家龙著 | 上海人民出版社 | 1983 | 预约/借 |
| 4 | O1-0/383=2 | 数学思想概论 | 史宁中著 | 东北师范大学出版社 | 2015 | 预约/借 |
| 5 | O13-33/820 | 数学实验与数学建模案例 | 王泽文 … 等编著 | 高等教育出版社 | 2018重印 | 预约/借 |
| 6 | O14/23 | 数理逻辑入门 | 李锡胤编译 | 知识出版社 | 1984 | 预约/借 |
| 7 | O141.1/111 | 多方法建模原理与应用 | 马峻著 | 科学出版社 | 2016.08 | 预约/借 |
| 8 | O141.1/120 | 不确定性推理的计量化模型及其粗糙集语义 | 折延宏著 | 科学出版社 | 2016.3 | 预约/借 |
| 9 | O141.2/134 | 逻辑动态系统的应用研究进展 | 闫永义, 岳菊梅著 | 中国水利水电出版社 | 2019.10 | 预约/借 |
| 10 | O141.2/143=2 | 数学证明 | 萧文强著 | 大连理工大学出版社 | 2016.1 | 预约/借 |