Merk at det ikke blir …

Merk at det ikke blir noen forelesning i dette emnet fredag 8/10. Ondag 6/10 (altså siste forelesning før midtveiseksamen) tar vi opp de viktigste begrepene om sekventkalkyle. Detaljer angående likhet i sekventkalkyle utgår. Bevisene for problem 45, 46 og kompletthetsteoremet er heller ikke eksamensrelevant -- se nærmere detaljer under lenken "Pensum/læringskrav".