Affrontare alcune questioni della teoria della dimostrazione del ventesimo secolo, in connessione con le tematiche della ricerca contemporanea
Mutuazione: 20410192 LM510 - TEORIE LOGICHE 1 in Scienze Computazionali LM-40 (docente da definire)
Mutuazione: 20410192 LM510 - TEORIE LOGICHE 1 in Scienze Computazionali LM-40 (docente da definire)