THE GREAT FORMAL MACHINERY WORKS: Theories of Deduction and Computation at the Origins of the Digital Age

The information age owes its existence to a little-know but crucial development: the theoretical study of logic and the foundations of mathematics. This reference draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution.