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

Data 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

Condividi