Journal of Mathematical Logic. 2007;7(2):229-262. doi: 10.1142/S0219061307000676 Q10.92025
DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
DOI: 10.1142/S0219061307000676
摘要 查看摘要
Journal of Mathematical Logic. 2007;7(2):229-262. doi: 10.1142/S0219061307000676 Q10.92025
DOI: 10.1142/S0219061307000676
摘要 查看摘要