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.