Teaching & Supervision

Past courses.

Supervision.

Suggested readings.

Master in Logic at GU.

Current courses

Waiting for Spring to come.

Future courses

Category Theory (Spring '25)

Functorial Semantics (Spring '25)

Model Theory (Autumn '25)

Set Theory (Autumn '25)