15:28duration 15 minutes 28 seconds
9.2 Recursively Enumerable Languages
24:02duration 24 minutes 2 seconds
8.1 Turing Machines