Due esercizi sulla formalizzazione in aritmetica e sulla modellazione di assiomi aritmetici
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 10esPredicativaLucidi2016.pdf