(5 aprile h.9/11, aula C edificio B) Introduzione al calcolo predicativo del prim'ordine
Schema della sezione
Alla fine della presentazione del calcolo delle relazioni diadiche (vedi lezione dell'8 marzo), ho aggiunto la soluzione di due esercizi che vi erano stati proposti.