Det er ikke noen fast l?rebok eller kompendium. Som bakgrunn vil vi bruke ting som jeg har skrevet - lagt ut p? web, diverse artikler som er for det meste tilgjengelig via web.
Hovedtema i forelesningene: Ufullstendighet i logikk. Vi skal g? gjennom G?dels ufullstendighetsteoremer, Gentzens analyse av element?r aritmetikk, utvidelse til delsystemer for analyse, ordinalsystemer, mm.