Sign up ×
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.

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?


share|cite|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: – 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.