Giovedì 4 maggio 2023, alle ore 21:00, presso il Collegio Borromeo di Pavia, si terrà un incontro del ciclo “Logica matematica”.

Sistemi logici e modelli

Con Ludovico Pernazza, Università di Pavia.

Evento in presenza: Link di registrazione

Calendario “Logica matematica”