Finite of Sense and Infinite of Thought:
A History of Computation, Logic and Algebra
This is a history of the development of computation, logic and algebra from classical times to the twentieth century, told through primary sources.