Logical Structure of Constructive Set Theories
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.
Event details of
Logical Structure of Constructive Set Theories
- Date
- 15 May 2023
- Time
- 14:00 -15:30
- Location
- Agnietenkapel
You can find UvA dissertations and other publications in the UvA-DARE database.
You can watch this PhD defence ceremony here.
