Algorithms, Equations, and Logic

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]

Abstract

Abstract is missing.