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