The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age - von Plato (IEEE, 2003)