Questo sito utilizza solo cookie tecnici per il corretto funzionamento delle pagine web e per il miglioramento dei servizi.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Seminario del 2025
Matteo Viale
Teorema di compattezza per la logica L_{infty,infty}
nell'ambito della serie: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
SEMINARIO INTERDISCIPLINARE