Looking for some lecture videos on logic, models of computation and computational complexity/tcs fundamentals
Ryan O'Donnell (professor at Carnegie Mellon) has a wonderful undergraduate complexity theory series that goes through the fundamentals quite well, and he's an engaging lecturer. He also has a similar graduate lecture series that mostly picks up where the undergrad series left off.
(Note that this series does not cover logic, and I'm not aware of any videos that do cover that subject.)