Past courses.
Supervision.
Suggested readings.
Master in Logic at GU.
Model Theory '24
Category Theory (Spring '25)
Functorial Semantics (Spring '25)
Model Theory (Autumn '25)
Set Theory (Autumn '25)