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. www.youtube.com/user/MIT www.youtube.com/user/StanfordUniversity www.youtube.com/user/NottmUniversity
Howevery, 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?