Exercises for Computability Theory, TU Wien, SS2014