T-79.146 Logic in Computer Science: Special Topics I

Spring 2004


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