Stockholm university logo, link to start page
Gå till denna sida på svenska webben

Mathematics III - Logic

Logic is the study of reasoning. The treatment of logic as a mathematical subject is indispensible in both mathematics and computer science, and opens the possibility for analysing and automating many intellectual tasks, including even mathematical reasoning itself.

This course is intended as a first course in logic. It treats the two most important logics, propositional logic and predicate logic, in depth, and shows how they are used in modelling reasoning, especially mathematical reasoning. In particular, we define and study the formal language of predicate logic, its semantics (models), and natural deduction for it. We will prove soundness and completeness of natural deduction with respect to the semantics, and give some applications of these theorems.

  • Course structure

    The course consists of one element, assessed with a written examination.

    Teaching format

    Instruction is given in the form of lectures and exercise sessions.


    The course is assessed through written examination, with grades between A-F where A-E are passing grades.


    A list of examiners can be found on

    Exam information

  • Schedule

    The schedule will be available no later than one month before the start of the course. We do not recommend print-outs as changes can occur. At the start of the course, your department will advise where you can find your schedule during the course.
  • Course literature

    Note that the course literature can be changed up to two months before the start of the course.

    Carlström: Logic. Stockholms universitet. Provided by the department.

    Supplementary reading: van Dalen: Logic and Structure. Springer.

    List of course literature Department of Mathematics

  • Course reports

  • More information

    New student
    During your studies

    Course web

    We do not use Athena, you can find our course webpages on

  • Contact