The Universal Computer: The Road from Leibniz to Turing

Computability and Unsolvability

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions (Dover Books on Mathematics)

Who We Are and How We Got Here: Ancient DNA and the New Science of the Human Past

Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

The Dawn of Software Engineering: from Turing to Dijkstra

Mathematical Thought from Ancient to Modern Times, Vol. 1

Summing It Up: From One Plus One to Modern Number Theory