TY - BOOK AU - von Plato, Jan TI - The Great Formal Machinery Works: Theories of Deduction and Computation at the origins of the Digital Age SN - 9781400885039 PB - Walter de Gruyter KW - History UR - http://www.degruyter.com/isbn/9781400885039 ER -