Mathematical Logic
10 credits
Course, Bachelor's level, 1MA213
Expand the information below to show details on how to apply and entry requirements.
Autumn 2026 Autumn 2026, Uppsala, 33%, On-campus, English Only available as part of a programme
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 31 August 2026–17 January 2027
- Language of instruction
- English
- Entry requirements
-
60 credits in mathematics. Participation in Basic Ring Theory or Set Theory.
- Application deadline
- 15 April 2026
- Application code
- UU-10104
Admitted or on the waiting list?
- Registration period
- 17 August 2026–13 September 2026
- Information on registration from the department
Autumn 2026 Autumn 2026, Uppsala, 33%, On-campus, English For exchange students
- Location
- Uppsala
- Pace of study
- 33%
- Teaching form
- On-campus
- Instructional time
- Daytime
- Study period
- 31 August 2026–17 January 2027
- Language of instruction
- English
- Entry requirements
-
60 credits in mathematics. Participation in Basic Ring Theory or Set Theory.
Admitted or on the waiting list?
- Registration period
- 17 August 2026–13 September 2026
- Information on registration from the department
About the course
The course deals with the formal language of first-order logic, basic model theory and recursion theory. Since logic has applications in computer science, this course is also recommended for students in computer science who want to expand their knowledge in mathematics.