Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
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: videolectures.net/Top/Computer_Science/Logic – Apostolos Nov 16 '10 at 13:58
    
thanks very much for the link. just what I was looking for ;-) – mrsteve Nov 17 '10 at 21:11

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.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.