Seminari del Dipartimento di Matematica
Università di Bologna
Teorema di compattezza per la logica L_{infty,infty}
seminario tenuto da
Matteo Viale
Maggio
30
Venerdì
Seminario interdisciplinare
ore 14:00
presso Seminario II
nell'ambito della serie:
LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
TBA
Torna alla pagina dei seminari del Dipartimento di Matematica di Bologna