Turing Computability - Theory and Applications