Books by Martin Davis
17 titles available, newest first by original publication date.
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Martin Davis
$15.99
A Cartographic Analysis of Soviet Military City Plans
A Cartographic Analysis of Soviet Military City Plans
Martin Davis
$228.99
Handmaiden of The Sun: Book One - Realisation
Handmaiden of The Sun: Book One - Realisation
Martin Davis
$17.99
The Harvest War
The Harvest War
Martin Davis
$14.99
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Martin Davis
$20.99
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi
Martin Davis
$67.99
A Machine Program for Theorem-proving
A Machine Program for Theorem-proving
Martin Davis
$28.99
Diophantine Sets Over Polynomial Rings
Diophantine Sets Over Polynomial Rings
Martin Davis
$15.99
Astrolocality Astrology: A Guide to What It Is and How to Use It
Astrolocality Astrology: A Guide to What It Is and How to Use It
Martin Davis
$20.99
Lecture Notes on Mathematical Logic: Fall 1959
Lecture Notes on Mathematical Logic: Fall 1959
Martin Davis
$26.99
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
Martin Davis
$128.99
From Here to There
From Here to There
Martin Davis
$28.99
Applied Nonstandard Analysis
Applied Nonstandard Analysis
Martin Davis
$12.99
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
Martin Davis
$19.99
The Universal Computer: The Road from Leibniz to Turing, Third Edition
The Universal Computer: The Road from Leibniz to Turing, Third Edition
Martin Davis
$39.99
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Martin Davis
$96.99
Computability and Unsolvability
Computability and Unsolvability
Martin Davis
$14.99