Minicourse "Constructive Set Theories" [2 ETCS Mat/01]

Relatore
 Laura Crosilla - Università di Oslo

Data
 30-set-2021 - Ora: 

The videoregistered lectures are now available - 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
6-ott-2021

Referente
Peter Michael Schuster
Dipartimento
Informatica