Proving Darwin: Making Biology Mathematical
Fashion, Faith, and Fantasy in the New Physics of the Universe
Meta Math!: The Quest for Omega