Prog language theory, compil, logic

Hi all,

i'm seeking videos courses on:

-Programming language theory and

-formal logic

Do you know links that can interrest me? Thank you.