This page is only about the logical part of the course - see the 02153 homepage for the functional part of the course.
Course 02156 Formal Logical Systems is technically the same as the logical part of course 02153 Declarative Modelling - see the 02156 homepage for details.
Jørgen Villadsen 2009-08-13 www.imm.dtu.dk/courses/02153/log