Det blir alts? forelesning mandag den 14. mai, om det skulle v?re noe tvil om det. Vi gjennomg?r siste del av pensum og ser p? noen anvendelser.
PENSUM er van Dalen til og med kapittel 3.3, untatt fra side 123 og stoffet om Skolem-L?wenheim i 3.2, og Avigad til og med 7.3. Generelt tar van Dalen for seg noe stoff og eksempler her og der som vi overhodet ikke har v?rt innom, og dette vil det ikke bli spurt om p? eksamen. Bruk Avigad som rettesnor, hvis noe fra van Dalen ikke nevnes med ett ord i Avigad vil det ikke bli spurt om p? eksamen.