Dipartimento Area Logico-Matematica