Meta Math! Meta Math!
2005
Proving Darwin Proving Darwin
2012
Alla ricerca di Omega Alla ricerca di Omega
2017