Mariani, M. 2013. Martin Davis, <i>Il calcolatore universale. Da Leibniz a Turing</i> (Massimo Mariani). Alpha Omega. 16, 1 (giu. 2013), 160.