Currently I am reading Logic an Structure by Dirk van Dalen (2008).
As I am missing some basics I try to find related lectures 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?
Thanks.