Martin Davis - Il calcolatore universale [Pdf - Ita] Divulgazione scientifica - Progetto Matematica