Due esercizi sulla formalizzazione in aritmetica e sulla modellazione di assiomi aritmetici
Completion requirements
PDF
Click 10esPredicativaLucidi2016.pdf link to view the file.