I am currently reading Logic an Structure by Dirk van Dalen (2008).
However, I am missing some basics I try to find related lectures on online / on youtube. I frequently watch MIT, Stanford, and University of Nottinham lectures on youtube.
However, I have a hard time to find lectures on topics like predicate logic, high order logic, and intuitionistic logic. Does anyone happen to have pointers?