Manyebook
Martin D. Davis
The Universal Computer
Computability, Complexity, and Languages