Minicourse "Constructive Set Theories" [2 ETCS Mat/01] by Laura Crosilla, University of Oslo

Minicourse "Constructive Set Theories" [2 ETCS Mat/01] by Laura Crosilla, University of Oslo

This minicourse is now videoregistered - please see the bottom end of this page.  
Members of the University of Verona are kindly asked to register for the course mailing list by writing to dott. Giulio Fellin. Students of the University of Verona who want to obtain credits for this course also in the future should contact prof. Peter Schuster.
Data pubblicazione
mercoledì 6 ottobre 2021 - 12.36.53
ultima modifica
mercoledì 6 ottobre 2021- 12.51.56
Oggetto
Minicourse "Constructive Set Theories" [2 ETCS Mat/01] by Laura Crosilla, University of Oslo
Pubblicato da
Peter Michael Schuster
Advanced course in foundations of mathematics (2020/2021)
Mathematical logic (2020/2021)
Laurea in Matematica Applicata
Laurea magistrale in Mathematics