Seeing Further: The Story of Science and the Royal Society

by Bill Bryson

Leibniz himself; building on earlier work by Blaise Pascal, he designed, and caused to be built, a mechanical computer, and envisioned coupling it to a formal logical system called the Characteristica Universalis.