Computability Theory (Chapman Hall/CRC Mathematics Series)