Matematica Discreta e Logica Matematica (Informatica)
This year I will give a series of introductory lectures on Mathematical Logic for the course “Matematica Discreta e Logica Matematica” at the B.Sc. in Computer Science. I will try to write down some lecture notes, but in the meanwhile…