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

Mathematics III - Logic

  • 7.5 credits

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.

Further course information will appear soon on this page. Until then, information can be found on the department website.