非递归因果模型
(美) 威廉·D. 贝里著
2012年

多值逻辑的方法和理论 : 非正规多值逻辑研究
霍书全著
2009年

Recursively enumerable sets and degrees :
Soare, R. I.
2007年

可计算性与不可解性
（美）戴维斯,M著；沈 泓等译
1984年