Turing Computability: Theory and Applications (Theory and Applications of Computability)