MAT4600 – Matematisk logikk

Beskrivelse av emnet