Logische structuur van constructieve verzameltheorieën
Logica
Dhr. R. Paßmann promoveert op het proefschrift: 'Logical Structure of Constructive Set Theories'. Promotor is prof. dr. B. Löwe. Copromotor is prof. dr. R. Iemhoff.
Kerngegevens van evenement
Logische structuur van constructieve verzameltheorieën
- Datum
- 15 mei 2023
- Tijd
- 14:00 -15:30
- Locatie
- Agnietenkapel
Op zoek naar een proefschrift? Bekijk de database van UvA-DARE voor alle publicaties.
Deze promotie is hier live te volgen.
