Martin D. Davis Books

The Universal Computer: The Road from Leibniz to Turing