文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | H31:O141/1 | Computability | Douglas S. Bridges | World Pub. Corp | 1997 |
| 2 | H31:O141/5 | Recursively enumerable sets and degrees | Robert I. Soare | 科学出版社 | 2007 |
| 3 | H31:O15/13 | Algebraic complexity theory | Peter Bürgisser, Michael Clausen, M. Am | 科学出版社 | 2007 |
| 4 | O141.3/1 | 算法论 | 莫绍揆编著 | 科学出版社 | 1982.11 |
| 5 | O141.3/2 | 实数的构造理论 | 王建午等编 | 人民教育出版社 | 1981.01 |
| 6 | O141.3/3 | 可计算性与不可解性 | (美)M.戴维斯著;沈法[]等译 | 北京大学出版社 | 1984.08 |
| 7 | O141.3/4 | 实教理论及其在中学数学中的应用 | 吴振廷编 | 人民出版社 | 1981.02 |
| 8 | O141.3/5 | 递归论 | 模绍楑著 | 科学出版社 | 1987.11 |
| 9 | O141.3/6 | 多值逻辑函数结构理论研究 | 刘任任,欧阳建权著 | 科学出版社 | 2010 |