Föreläsning 13 januari

Tentan från 99. Upp: Matematisk logik