Vi ble nesten ferdige med ¡­

Vi ble nesten ferdige med kompletthetsbeviset. Neste uke gj?r vi det ferdig og avslutter utsangslogikkdelen ved ? kikke p? andre m?ter ? tolke utsagn p?, spesielt algebraiske modeller. Dette st?r ikke i pensum. Det betyr en liten lesepause, som man kan (b?r) bruke til ? lese det man har hoppet over i pensum til n? og regne flere oppgaver. Selv om algebraiske modeller ikke kommer p? eksamen anbefales det ? komme og h?re p? forelesningen. Det kan v?re veldig nyttig ? ha sett alternativer til mengdel?rebasert semantikk.