Take the 2-minute tour ×
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.

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. www.youtube.com/user/MIT www.youtube.com/user/StanfordUniversity www.youtube.com/user/NottmUniversity

Howevery, 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?


share|improve this question
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

Your Answer


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

Browse other questions tagged or ask your own question.