14 books • 3 series
Proving Darwin
Goedel's Way
Randomness and Complexity
Thinking About Godel And Turing: Essays On Complexity, 1970-2007
Thinking about Gdel and Turing
Metamaths
Conversations with a Mathematician
Exploring RANDOMNESS (Discrete Mathematics and Theoretical Computer Science)
The Unknowable (Discrete Mathematics and Theoretical Computer Science)
The Limits of Mathematics (Discrete Mathematics and Theoretical Computer Science)
Information-theoretic Incompleteness (World Scientific Series In Computer Science, #35)
Information, Randomness & Incompleteness: Papers On Algorithmic Information Theory (World Scientific Series In Computer Science, #8)
Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science)
Information, Randomness & Incompleteness