03/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” (sintesi)
|
||
03/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” (sintesi)
|
||