Martin Davis
Books
- Student Housing and the Law
- Computability and unsolvability
- King and the Kingdom
- WriterMD
- On Tresco
- Much Ado about a Royal Visit
- Arthur Moyses William Hill 2nd Baron Sandys of the Second Creation 1792-1860
- Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz
- Richard Michael Oliver 7th Baron Sandys
- Universal Computer
- Arthur Marcus Cecil Hill 3rd Baron Sandys 1798-1863
- Mary Marchioness of Downshire and Baroness Sandys, 1764-1836
- Augustus Frederick Arthur, 4th Baron Sandys of the Second Creation, 1840-1904
- Samuel 1st Baron Sandys 1695-1770
- Arnold Palmer
- A first course in functional analysis (Notes on mathematics and its applications)
- Lecture Notes on Mathematical Logic
- Machine Program for Theorem-Proving
- Ysbryd Sabrina
- Lecture Notes on Mathematical Logic
- Gospel and the Twelve Steps
- Christian Doctrine of God
- Michael Edwin Marcus 5th Baron Sandys, 1855-1948
- Notes in the Slow Lane
- Three Little Mice at Ombersley Court
- The Undecidable
- Set up Your Own Aeroponics Garden at Home
- Set up Your Own Bucket Hydroponics Garden at Home
- Computability and Unsolvability
- Cartographic Analysis of Soviet Military City Plans
- Handmaiden of The Sun
- Arthur FitzGerald Sandys Hill 6th Baron Sandys 1876-1961
- Edwin 2nd Baron Sandys 1726-1797
- Arthur Marcus Cecil Hill 3rd Baron Sandys of the Second Creation 1798-1863
- Tonnau Tryweryn
- Set up Your Own Bucket Aeroponics Garden at Home
- Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem
- Computability, Complexity, and Languages
- Practical Injection Molding
- First Course in Functional Analysis
Author data: Open Library