Mathematical logic
Autumn (Period 2) 2002
Since this course is now given by Computer Science, please go to
this page
.