Bristol lectures in logic from emergence of reasoning to modern Unprovability Theory by Andrey Bovykin

Old Logic Course (2009): lecture notes, exam, exercises and all videos. The new logic course will be a sharpened and improved version of the old one, but still you are welcome to watch all past lecture videos in advance.

The New Logic Course (2010) is being built now.

Here is the FACEBOOK PAGE for all students who are taking Logic in Bristol. :)

Back to Set Theory

Back to Axiomatic Set Theory

Back to Andrey's Homepage