文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O141.3/H144 | 递归论 | 郝兆宽, 杨睿之, 杨跃著 | 复旦大学出版社 | 2018.10 |
| 2 | O141.3/J600 | 模型降阶方法 | 蒋耀林著 | 科学出版社 | 2010.06 |
| 3 | O141.3/L667 | 多值逻辑函数结构理论研究 | 刘任任, 欧阳建权著 | 科学出版社 | 2010.01 |
| 4 | O141.3/S996 | 递归可枚举集和图灵度 | (美) Robert I. Soare | 科学出版社 | 2007.01 |
| 5 | O141.3/Y680 | 可计算性理论 | 杨东屏,李昂生著 | 科学出版社 | 1999.04 |
| 6 | O141.3/Z114 | 递归划分方法及其应用 | Heaping Zhang, Burton H. Singer著;王学钦 | 高等教育出版社 | 2021.01 |
| 7 | O141.3-43/D771 | 可计算性与不可解性 | (美)戴维斯著 | 北京大学出版社 | 1984.08 |