Martin Davis

Books by Martin Davis in order

Books by Martin Davis in the order they were published, from Computability and Unsolvability (1985) to Arnold Palmer (2023).

1. 1Computability and UnsolvabilityComputability and Unsolvability1985
2. 2Computability, Complexity, and LanguagesComputability, Complexity, and Languages1994
3. 3The Hogan MystiqueThe Hogan Mystique1997
4. 4The Universal ComputerThe Universal Computer2000
5. 5Engines of LogicEngines of Logic2001
6. 6Traditions and Tales of the NavyTraditions and Tales of the Navy2001
7. 7Text and Materials on Housing LawText and Materials on Housing Law2005
8. 8Notes in the Slow LaneNotes in the Slow Lane2016
9. 9Augustus Frederick Arthur, 4th Baron Sandys of the Second CrAugustus Frederick Arthur, 4th Baron Sandys of the Second Creation, 1840-19042017
10. 10Much Ado About a Royal VisitMuch Ado About a Royal Visit2017
11. 11Arthur Moyses William Hill 2nd Baron Sandys of the Second CrArthur Moyses William Hill 2nd Baron Sandys of the Second Creation 1792-18602018
12. 12Correct-Program Technology/Extensibility of Verifiers. Two PCorrect-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J. T. Schwartz2018
13. 13Extensions and Corollaries of Recent Work on Hilbert's TenthExtensions and Corollaries of Recent Work on Hilbert's Tenth Problem2018
14. 14Machine Program for Theorem-ProvingMachine Program for Theorem-Proving2018
15. 15Arthur Marcus Cecil Hill 3rd Baron Sandys of the Second CreaArthur Marcus Cecil Hill 3rd Baron Sandys of the Second Creation 1798-18632019
16. 16Arthur Marcus Cecil Hill 3rd Baron Sandys 1798-1863Arthur Marcus Cecil Hill 3rd Baron Sandys 1798-18632020
17. 17Handmaiden of the SunHandmaiden of the Sun2020
18. 18Mary Marchioness of Downshire and Baroness Sandys, 1764-1836Mary Marchioness of Downshire and Baroness Sandys, 1764-18362020
19. 19Set up Your Own Aeroponics Garden at HomeSet up Your Own Aeroponics Garden at Home2020
20. 20Set up Your Own Bucket Hydroponics Garden at HomeSet up Your Own Bucket Hydroponics Garden at Home2020
21. 21Arthur FitzGerald Sandys Hill 6th Baron Sandys 1876-1961Arthur FitzGerald Sandys Hill 6th Baron Sandys 1876-19612021
22. 22Cartographic Analysis of Soviet Military City PlansCartographic Analysis of Soviet Military City Plans2021
23. 23Richard Michael Oliver 7th Baron SandysRichard Michael Oliver 7th Baron Sandys2021
24. 24Arnold PalmerArnold Palmer2023