The Universal Computer More Books Like This
The Man Who Knew Too Much
2012
The Proof is in the Pudding
2011
Philosophical Explorations of the Legacy of Alan Turing
2017
Simply Gödel
2017
Indiscrete Thoughts
2009
The Great Philosophers: Turing
2011
Labyrinth of Thought
2008
Why Is There Philosophy of Mathematics At All?
2014
Infinite Ascent
2005
What Is Mathematics, Really?
1997
The Development of Mathematics
2012
Logos and Máthēma
2011
Computation, Proof, Machine
2015
Godel's Theorem in Focus
2012
Kurt Gödel and the Foundations of Mathematics
2011