---

    TecaLibri

Martin Davis:  opere

• 1958  Computability and Unsolvability
• 2000  The Universal Computer. The Road from Leibniz to Turing, [rif.] [rif.1]
• Il calcolatore universale
• 2000  The Universal Computer: The Road from Leibniz to Turing, W. W. Norton, New York, [rif.]

---