Computability Theory by Herbert B. Enderton