Mathematical logic

Autumn (Period 2) 2002

Since this course is now given by Computer Science, please go to this page.