- Meta Math!: The Quest for Omega
- Proving Darwin: Making Biology Mathematical
- The Limits of Mathematics: A Course on Information Theory and the Limits of Formal Reasoning (Discrete Mathematics and Theoretical Computer Science)
- Goedel's Way: Exploits Into an Undecidable World
- Algorithmic Information Theory