Home Advanced Search

Advanced Search - Page 1

The Universal Computer. The Road from Leibniz to Turing
  • PDF
  • English
  • Year: 2018
  • Author: Martin Davis
Applied Nonstandard Analysis
  • DJVU
  • English
  • Year: 1977
  • Author: Martin Davis
Computability and Unsolvability
  • EPUB
  • English
  • Year: 1985
  • Author: Martin Davis
Computability and Unsolvability
  • PDF
  • English
  • Year: 1985
  • Author: Martin Davis
The Universal Computer - The Road from Leibniz to Turing (Turing Centenary Edition)
  • PDF
  • English
  • Year: 2011
  • Author: Martin Davis
The Universal Computer: The Road from Leibniz to Turing
  • DJVU
  • English
  • Year: 2000
  • Author: Martin Davis
Engines of logic
  • DJVU
  • English
  • Year: 2001
  • Author: Martin Davis
Il calcolatore universale: da Leibniz a Turing
  • PDF
  • Italian
  • Year: 2003
  • Author: Martin Davis
The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions
  • DJVU
  • English
  • Year: 2004
  • Author: Martin Davis
Computability and unsolvability
  • DJVU
  • English
  • Year: 1985
  • Author: Martin Davis
search