Journal of Mathematical Logic. 2006;6(1):49-68. doi: 10.1142/S0219061306000505 Q10.92025
THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES
元递归可枚举度理论
DOI: 10.1142/S0219061306000505
摘要 查看摘要
Journal of Mathematical Logic. 2006;6(1):49-68. doi: 10.1142/S0219061306000505 Q10.92025
DOI: 10.1142/S0219061306000505
摘要 查看摘要