Proving Darwin Proving Darwin
2012
Meta Math! Meta Math!
2005
Goedel's Way Goedel's Way
2011