MAT-INF3600 – Matematisk logikk
Beskrivelse av emnet
Kort om emnet
Emnet tar for seg f?rste ordens logikk fram til kompletthetsteoremet og ufullstendighetsteoremet.
Emnet tar for seg f?rste ordens logikk fram til kompletthetsteoremet og ufullstendighetsteoremet.