This video covers recursive and recursively enumerable languages, along with some theorems about them.
No download links available.
