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

0

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.