Teaching & Supervision

Supervision.

Suggested readings.

Teaching Archive.

Master in Logic at GU

Set Theory

Model Theory

Category Theory

Semantics of DTT

Functorial Semantics

Topos Theory