"Il coinvolgimento della logica nel dibattito sui fondamenti della matematica"