(27/04/21 h.9--11; 28/04/21 h.11-13) Calcolo predicativo e teorema di deduzione. Espansioni di Henkin, Skolemizzazione, Universi di Herbrand.

Queste lezioni si basano principalmente sulla presentazione del *calcolo* predicativo del 1.o ordine caricata in questa pagina Moodle assieme al materiale della settimana scorsa.