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?
Thanks.
You can try "carneades" youtube.com channel and "trev tutor". Both of them have large playlists covering basic logic and set theory.
"carneades" is a philosophy channel, but has great insights. https://www.youtube.com/playlist?list=PLz0n_SjOttTcjHsuebLrl0fjab5fdToui
The last ten videos of this one has predicate calculus.