Verso il teorema di completezza per la logica predicativa del 1.o ordine
Section outline
4 maggio 2016, aula 5C edificio H2bis h 16-18
Si torni ai lucidi sul calcolo predicativo del 1.o ordine (registrati sotto la lezione del 12 aprile), che nel frattempo sono stati significativamente ampliati.