This course is replaced by IN3070 – Logic.

The completeness compendium from the …

The completeness compendium from the lecture on April 4th can be found here .

The lecture on May 2nd is moved from Lille Auditorium to seminar room 3A, Ifi, 3rd floor.

Published Apr. 8, 2005 2:00 AM - Last modified May 10, 2005 2:09 PM