Martin Davis
72 works on record
Works
Applied Nonstandard Analysis
2005
The Undecidable
2004
Rube Goldberg on Golf
2004
Dolly Varden, Ohio
2003
OS Dianc Rhai
2003
Beating the Slots
2002
Ben Hogan
2002
Engines of Logic
2001
Traditions and tales of the Navy
2001
The Universal Computer
2000
Astrolocality Astrology
1999
Byron Nelson
1997
Bobby Jones
1997
The Hogan Mystique (Classic Golf Champions)
1997
The greatest of them all
1996
Computability and Unsolvability
1985
Correct-program technology/Extensibility of verifiers. Two papers on program verification
1977
Diophantine sets over polynomial rings
1961
A machine program for theorem-proving
1961
Extensions and corollaries of recent work on Hilbert's tenth problem
1961
The World Golf Hall of Fame
The 25 Greatest Achievements in Golf
Cases and Materials on Housing Law (Cases & Materials)
How to Play Links Golf
Text and Materials on Housing Law
Il calcolatore universale
From Linear Operators to Computational Biology
Computational Logic and Set Theory
The Ryder Cup
Student Housing and the Law
Handmaiden of The Sun
Cartographic Analysis of Soviet Military City Plans
Lecture Notes on Mathematical Logic
Egin
2004
La Sra.hudson Y El Misterio De Los Esp
2004
Lectures on Modern Math
1967
Computability and Unsolvability (Information Processing)
1958
The Players Championship
The farmer and the goose with the golden eyes
Contract Law (Sourcebook)
Student Housing Rights Guide
First Course in Functional Analysis
Practical Injection Molding
Universal Computer
Ysbryd Sabrina
Computability, Complexity, and Languages
Richard Michael Oliver 7th Baron Sandys
Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz
Machine Program for Theorem-Proving
Set up Your Own Bucket Aeroponics Garden at Home
Set up Your Own Aeroponics Garden at Home
Set up Your Own Bucket Hydroponics Garden at Home
A first course in functional analysis (Notes on mathematics and its applications)
Arnold Palmer
Tonnau Tryweryn
Arthur FitzGerald Sandys Hill 6th Baron Sandys 1876-1961
Much Ado about a Royal Visit
On Tresco
Notes in the Slow Lane
Augustus Frederick Arthur, 4th Baron Sandys of the Second Creation, 1840-1904
Samuel 1st Baron Sandys 1695-1770
Arthur Marcus Cecil Hill 3rd Baron Sandys of the Second Creation 1798-1863
Mary Marchioness of Downshire and Baroness Sandys, 1764-1836
Arthur Marcus Cecil Hill 3rd Baron Sandys 1798-1863
Edwin 2nd Baron Sandys 1726-1797
Three Little Mice at Ombersley Court
Michael Edwin Marcus 5th Baron Sandys, 1855-1948
Arthur Moyses William Hill 2nd Baron Sandys of the Second Creation 1792-1860
King and the Kingdom
WriterMD
Christian Doctrine of God
Gospel and the Twelve Steps