The Great Formal Machinery Works. Theories of Deduction and Computation at the Origins of the Digital Age. Issue 1 (2nd January 2019) - Bellotti, L.