Informazioni sul corso

Introdurremo il linguaggio in cui i moderni approcci ai fondamenti ed i relativi problemi possono essere compresi, e discuteremo di alcuni di essi.