Tik-79.146 Logic in Computer Science: Special Topics I

Spring 2000


The material covered in the exam: Lecture notes and tutorials are available in PostScript form on the homepage of the course: http://www.tcs.hut.fi/Teaching/Tik-79.146/