Skip to main content
Breadcrumb

Proof theory

Course
Master’s level
7,5 credits (ECTS)
Study pace
50%
Time
Day
Location
Göteborg
Study form
Campus
Language
English
Duration
-
Application open
-
Application code
GU-22472
Tuition
Full education cost: 10 750 SEK
First payment: 10 750 SEK

No fees are charged for EU and EEA citizens, Swedish residence permit holders and exchange students.

More information about tuition fees

Application closed, late application opens 15 December 2020.

Prerequisites and selection

Requirements

For admission to the course successful completion of at least 7.5 credits of Logical theory (LOG111) or Logic in Computer Science (DAT060 or DIT201), or the equivalent, is required.

Selection

Selection is based upon the number of credits from previous university studies, maximum 225 credits.

For admission to the summer 2021 and onward the following selection applies: selection is based upon the number of credits from previous university studies, maximum 165 credits.