01056nam a2200289 i 4500991002056239707536130515s2012 it 00 0 ita d9788845927416b14113910-39ule_instFacoltà SSPTita004.09Davis, Martin478481Il calcolatore universale :da Leibniz a Turing /Martin Davis ; traduzione di Gianni RigamontiNuova ed. ampliataMilano :Adelphi,2012327 p. ;20 cmGli Adelphi ;423 Tit. orig.: The universal computerElaboratori elettroniciStoriaCalcolo automaticoStoria Rigamonti, Gianni .b1411391002-04-1415-05-13991002056239707536LE021 004.09 DAV01.01 12020000045519le021pE13.00-n- 00000.i1551664713-06-13Calcolatore universale264137UNISALENTOle02015-05-13ma -itait 30