-- Teoria algoritmica della complessità [1987], Giappichelli, Torino, 2006
-- Alla ricerca di Omega [2005], Adelphi, Milano 2007
-- Information, Randomness & Incompleteness [1987]
-- Information-Theoretic Incompleteness [1992]
-- The Limit of Mathematics [1998]
-- The Unknowable [1999]
-- Exploring Randomness [2001]
-- Conversations with a Mathematician [2002]
-- From Philosophy to Program Size [2003]
Articoli:
-- "Complessità, logica e caso", intervista con Réda Benkirane, in Id., La teoria della complessità, Bollati Boringhieri, Torino, 2007, pagg. 209-228.
-- "I limiti della ragione", in Le Scienze n. 453, maggio 2006, pagg. 68-73
-- "Fondamenti della matematica e teoria algoritmica dell'informazione", in Enciclopedia del Novecento: Supplemento III, volume H-W, 2004, pagg. 111-6