M. Mariani, «Martin Davis, <i>Il calcolatore universale. Da Leibniz a Turing</i> (Massimo Mariani)», AO, vol. 16, n. 1, pag. 160, giu. 2013.