Mathematics III - Logic
Stockholm University
Stockholm
Start date:
End date:
Pace of study: 50 %
Published education catalogue
Mathematics III - Logic
Education information from the published source. The education record and its time-bound offerings are kept separate.
Education facts
Code: MM5024
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.
Entry 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.
Education offerings
Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.
Source and updates
Retrieved: .
Published: .
Show source version
Publication version: 8e217193-f5fa-4778-b085-a4521fd03e8d
Checksum: 1b0dc54c0fc8a359f83ba9dc8f9d468479ce432de4c03bce3b8b33dd67fe3f6c
Last changed according to the source: 2026-08-18T13:52:26