You can find UvA dissertations and other publications in the UvA-DARE database.
You can watch this PhD defence ceremony here.
Logic
Dhr. R. Paßmann will defend the dissertation 'Logical Structure of Constructive Set Theories'. Supervisor is Prof. B. Löwe. The co-supervisor is Prof. R. Iemhoff.
You can find UvA dissertations and other publications in the UvA-DARE database.
You can watch this PhD defence ceremony here.
