Teaching & Supervision

Supervision.

Suggested readings.

Books at the Library.

Teaching Archive.


Master in Logic at GU

Set Theory

Advanced Set Theory

Model Theory

Category Theory

Functorial Semantics

Topos Theory

Semantics of DTT