(3 maggio h.9/11, aula C edificio B) Apparato deduttivo della logica predicativa del prim'ordine
Section outline
-
Il materiale di questa lezione (presentazioni in formato PDF) è già stato caricato sotto la lezione del 12 aprile.