Martin Davis

Books

Computability and Unsolvability Computability and Unsolvability
Computability and Unsolvability
2013
Applied Nonstandard Analysis Applied Nonstandard Analysis
Applied Nonstandard Analysis
2014
Astrolocality Astrology Astrolocality Astrology
Astrolocality Astrology
2014
Computability, Complexity, and Languages Computability, Complexity, and Languages
Computability, Complexity, and Languages
1994
The Universal Computer The Universal Computer
The Universal Computer
2018
A Cartographic Analysis of Soviet Military City Plans A Cartographic Analysis of Soviet Military City Plans
A Cartographic Analysis of Soviet Military City Plans
2021