11:55 duration 11 minutes 55 seconds
Lecture 4.4 - Part 1
22:10 duration 22 minutes 10 seconds
Lecture 4b
Lecture 4b Formal Systems