Here is all the material for the lecture 13
Download the
slides
Additional material:
Turing machine codes and a non r.e. language