Undervisning 1996 - VT 2007. (Teaching 1996 - Spring 2007).
-
Toposteori I & II.
PhD course 2006/2007
-
Mängdlära, 3p, ht-05 (forskarutbildningskurs). [Set Theory]
-
Algoritm- och komplexitetsteori MN1, vt-05. [Theory of Algorithms and
Complexity MN1]
-
Konstruktiv logik och lambdakalkyl D, ht-02, ht-04.
(Constructive Logic and Lambda Calculus)
-
Tillämpad logik DV1, ht-00, ht-01, ht-02, vt-04, vt-06. (Applied Logic)
-
Modell- och mängdteori D, ht-03 (med Marko Djordjevic). (Model Theory and Set Theory)
-
Analysens
grundvalar , ht-03 (med
Anders Öberg). (Foundations of Analysis)
-
Logical frameworks, ht-03 -- PhD-course.
- Domänteori MN1,
vt-02
(Domain Theory)
-
Algebra DV2 (endast kompletterande material)
- Informations- och kodningsteori (IT3),
vt-00, vt-07 (Information and Coding Theory)
-
Modell- och mängdteori D, ht-99
-
Mängdteori för matematiker,
ht-99 (Set Theory for Mathematicians)
-
Logik
och bevisteknik DV1, vt-99 (Logic and Proof-techniques)
-
Toposteori,
vt-99
(Topos Theory)
-
Diskret
matematik, ITP, ht-96, ht-97 (Discrete Mathematics)
-
Konstruktiv matematik
(föreläsningsanteckningar
för sommarskolan "Copenhagen Logic Summer School
1997"). (Constructive Mathematics)