Computability and Unsolvability More Books by Martin Davis
A First Course in Functional Analysis
2013
The Universal Computer
2018
Astrolocality Astrology
2014
The Diary of a Shropshire Farmer
2011
Practical Injection Molding
2001
A Cartographic Analysis of Soviet Military City Plans
2021
The Harvest War
2019
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Applied Nonstandard Analysis
2014
Computability, Complexity, and Languages
1994
From Linear Operators to Computational Biology
2012