For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.
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
The UvA uses cookies to measure, optimise, and ensure the proper functioning of the website. Cookies are also placed in order to display third-party content and for marketing purposes. Click 'Accept' to agree to the placement of all cookies; if you only want to accept functional and analytical cookies, select ‘Decline’. You can change your preferences at any time by clicking on 'Cookie settings' at the bottom of each page. Also read the UvA Privacy statement.