Data | Ciclo di seminari | |
---|---|---|
2016-05-02 17:00 02/05/16 |
Morse Set Theory as a Foundation for Constructive Mathematics
Orario:
h 17:00
Seminario di Logica
|
Relatore:
Douglas S. Bridges
(University of Canterbury, Christchurch, New Zealand)
|
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>