The Universal Computer The Road from Leibniz to Turing

Martin Davis

The Universal Computer: The Road from Leibniz to Turing

Turing's Cathedral: The Origins of the Digital Universe

The Universal History of Computing: From the Abacus to the Quantum Computer

Brand: Yale University Press

The Leibniz-De Volder Correspondence: With Selections from the Correspondence Between Leibniz and Johann Bernoulli (The Yale Leibniz Series)

Brand: Lonely Scholar

The Dawn of Software Engineering: from Turing to Dijkstra