Mathematics III - Logic, 7.5 ECTS

First level


Study pace 50%
Study time Daytime
Study form Normal
Language English
Special eligibility requirements
Admission to the course requires knowledge equivalent to 60 credits in mathematics, where Mathematics II - Algebra and Combinatorics, 7.5 credits (MM5013), or equivalent, is included.


The course treats propositional and predicate logic, inductively defined sets, formal languages, substitution, semantics, natural deduction. The soundness and completeness with respect to the semantics is proved and applied on various problems.

Area of interests: Information only in Swedish

Information only in Swedish



As a mathematical theory always implies that certain conclusions hold under certain given conditions, it can in principle say nothing about the physical reality. None the less mathematics has become an indispensable tool for a large number of subjects like astronomy, physics, chemistry, statistics and the technical sciences and in later times also for economy, biology, various social sciences and computor science. The role of mathematics in the applied sciences is both to supply notions for exact and adequate formulations of empirical laws but also from these laws to derive consequences, which can be used to find better models of the reality one has to describe. These tasks have lately become more important. Mathematics is in continual progress by intensive international research, new theories are created and already existing theories are simplified and augmented.


Course events

Spring 2018

Study pace 50 %
Study time Daytime
Study form Normal
Language English.

Selection: No selection.

Start period: Period 2 - starts during the second half of the semester

Location: Stockholm

Additional information: Application deadline 16 October.

Tuition fee

Tuition fees only concern citizens outside the EU, EES and Switzerland
First instalment: 17500 SEK
Total course/programme fee: 17500 SEK

Tuition fees only concern citizens outside the EU, EES and Switzerland
Appl.code: SU-48027