Föreläsningar 8, 12 och 14 januari

Det enda nya är att vi skall gå igenom avsnitt 5.2, det blir på den första föreläsningen. Annars repetition och tentauppgifter.

Upp: Matematisk logik