Martin Davis, Il calcolatore universale. Da Leibniz a Turing (Massimo Mariani) - Mariani, Massimo (Alpha Omega, 2013)