Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti. - Davis, Martin, 1928- (OLS)http://pul/name/48980; Rigamonti, Gianni. (OLS)http://pul/name/704 (Adelphi, 2012)