8
$\begingroup$

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.

  • 5
    Here's a link with various lectures on logic in general. I hope some of them are related to what you're looking for: http://videolectures.net/Top/Computer_Science/Logic/2010-11-16
  • 0
    thanks very much for the link. just what I was looking for ;-)2010-11-17

1 Answers 1