Material for the lecture "Computability Theory", WS2014/15 @ UIBK