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".