非递归因果模型 (美) 威廉·D. 贝里著 2012年
多值逻辑的方法和理论 : 非正规多值逻辑研究 霍书全著 2009年
Recursively enumerable sets and degrees : Soare, R. I. 2007年
可计算性与不可解性 (美)戴维斯,M著;沈 泓等译 1984年