The Legacy of A. M. Turing, edited by E. Agazzi, 2013
Herr Warum. La musica di Gödel, edited by F. Pollini, Il Ponte Vecchio, Cesena, 2007
