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