01/04/2009 - 16:00
Aula 16
V.M. Abrusci
Esposizione critica della teoria della dimostrazione del ‘900: da Gentzen alla omega-logica: la “logica dei numeri naturali” (I parte)