Vi ble ferdige med semantikken ¡­

Vi ble ferdige med semantikken i dag. Neste uke begynner vi med naturlig deduksjon. Det betyr at pensum for neste ukes forelesning er van Dalen 1.4 og Avigad opp til og med 4.3. Ukeoppgaver kommert som vanlig f?r torsdag kveld.