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?


  • 6
    $\begingroup$ Here's a link with various lectures on logic in general. I hope some of them are related to what you're looking for: videolectures.net/Top/Computer_Science/Logic $\endgroup$
    – Apostolos
    Nov 16, 2010 at 13:58
  • $\begingroup$ thanks very much for the link. just what I was looking for ;-) $\endgroup$
    – mrsteve
    Nov 17, 2010 at 21:11

2 Answers 2


MIT is certainly good, I don't know what your level is but I personally prefer summer school courses: they are shorter and more condensed, so you may learn more in shorter periods of time. Plus they are addressed to a general audience.

When you search on google, try to add key words like "summer school", "winter school". Take a look at this lecture by Alwen Tiu, for instance.

More generally, I think that for very basic notions, books are better.


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.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .