Supervision.
Suggested readings.
Master in Logic at GU.
Teaching Archive.
Set Theory
Model Theory
Category Theory
Semantics of DTT
Functorial Semantics
Topos Theory
Intro to Categorical Logic