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.