Jump to main content
UiO
University of Oslo
No
En
Menu
For employees
My studies
Search our webpages
Search
Home
Research
Studies
Student Life
Services and tools
About UiO
People
Sub menu
Studier
Emner
Matematikk og naturvitenskap
Matematikk, mekanikk og statistikk
MAT-INF3600
Autumn 2026
Data
Oppgaver
Studies
>
Courses
>
MAT-INF3600 - Mathematical Logic
Semester page for MAT-INF3600 - Autumn 2026
Schedule in TP
Syllabus/reading list in Leganto
Examination: Time and place
Teachers
Lars Kristiansen
University of Oslo
Messages
Exercises
Oct. 7, 2026 2:22 PM
Progress Report
Oct. 7, 2026 2:17 PM
Deadline (mandatory assigment)
Sep. 29, 2026 2:55 PM
See more messages
Contact
Department of Mathematics