(26 aprile h.9/11, aula C edificio B) Semantica e apparato deduttivo della logica del prim'ordine
Schema della sezione
-
Il materiale di questa lezione (presentazioni in formato PDF) è già stato caricato sotto la lezione del 12 aprile.