Material for the lecture "Computability Theory", WS2014/15 @ UIBK - View it on GitHub