The Universal Computer More Books Like This
The Proof is in the Pudding
2011
Philosophical Explorations of the Legacy of Alan Turing
2017
Simply Gödel
2017
Indiscrete Thoughts
2009
Labyrinth of Thought
2008
Godel's Theorem in Focus
2012
Research in History and Philosophy of Mathematics
2020
The Prime Number Conspiracy
2018
18 Unconventional Essays on the Nature of Mathematics
2006
Rigor and Structure
2015
The History of Philosophical and Formal Logic
2017
Humanizing Mathematics and its Philosophy
2017
A Brief History of Analysis
2022
The Meaning of Proofs
2022
The Essence of Numbers
2020