home
>
book reviews
> Martin Davis
Google >
Martin Davis
author : Martin Davis
Books
Computability and Unsolvability
. 1958
Short works
Influences of mathematical logic on computer science. 1988.
(In
The Universal Turing Machine
)
Mathematical logic and the origin of modern computing. 1988.
(In
The Universal Turing Machine
)
Algorithms, equations, and logic. 2016.
(In
The Once and Future Turing
)
Books : reviews
Martin Davis.
Computability and Unsolvability
.
McGraw-Hill. 1958