Pensum

Det offisielle pensum v?re 2021 er

• Kapittel 7 av "A Friendly Introduction to Mathematical Logic"
• fra starten av boken t.o.m. seksjon 7.2, pluss seksjon 13.2, av "Aberth: Computable Analysis".