I fondamenti della matematica dopo i teoremi di incompletezza : K. Gödel, S. Feferman
Firenze University Press