COMPUTABILITYAnintroductiontorecursivefunctiontheory一书,可计算理论的教,pdf版,比较清晰。