Martin Davis. Algorithms, Equations, and Logic. In S. Barry Cooper, Andrew Hodges, editors, The Once and Future Turing: Computing the World. pages 4-19, Cambridge University Press, 2016. [doi]
@incollection{Davis16-4,
title = {Algorithms, Equations, and Logic},
author = {Martin Davis},
year = {2016},
doi = {10.1017/CBO9780511863196.004},
url = {http://dx.doi.org/10.1017/CBO9780511863196.004},
researchr = {https://researchr.org/publication/Davis16-4},
cites = {0},
citedby = {0},
pages = {4-19},
booktitle = {The Once and Future Turing: Computing the World},
editor = {S. Barry Cooper and Andrew Hodges},
publisher = {Cambridge University Press},
isbn = {9780511863196},
}