Found in 2 comments on Hacker News
gregw134 · 2014-03-28 · Original thread
You might like The Universal Computer: The Road from Leibniz to Turing http://www.amazon.com/The-Universal-Computer-Leibniz-Turing/...
gregw134 · 2013-12-29 · Original thread
The Universal Computer. It's a remarkably readable walkthrough through the lives and ideas of mathematicians whose work indirectly led to the Turing machine: Leibniz, Boole, Russell, Cantor, Godel, and a few others. If anyone else can recommend more books on the mathematics that led to computing I'd love to hear about them.

http://www.amazon.com/The-Universal-Computer-Leibniz-Turing/...

Fresh book recommendations delivered straight to your inbox every Thursday.