Martin Davis:  Il calcolatore universale       scheda     opere     TecaLibri