Functorial Semantics '24
Introduction to Topos Theory '24
Model Theory '24
Master in Logic at GU.
Past courses? Check out the !
Looking for a supervisor? Yes!
Suggested readings? Open some s!