Tutti i prossimi seminari - Advanced course in foundations of mathematics - (2014/2015)

Data Seminario Ciclo di seminari
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)
Tot 1 Seminari

Offerta formativa