Meta Math! Meta Math!
2005
Proving Darwin Proving Darwin
2012
Goedel's Way Goedel's Way
2011
Alla ricerca di Omega Alla ricerca di Omega
2017