Sorry, ..

Ignore the previous message (which I for some reason cannot edit). What  I meant to write was:

The lecture Tuesday 16 will start with a crash course on propositional logic. The course is recommendable for everyone (even if those already familiar with with propositional logic).