TecaLibri

Martin Davis:  opere

  • 1958  Computability and Unsolvability
  • 2000  The Universal Computer. The Road from Leibniz to Turing