Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, Springer, 2016. [doi]
@book{2016OP, title = {Martin Davis on Computability, Computational Logic, and Mathematical Foundations}, year = {2016}, doi = {10.1007/978-3-319-41842-1}, url = {https://doi.org/10.1007/978-3-319-41842-1}, researchr = {https://researchr.org/publication/2016OP}, cites = {0}, citedby = {0}, editor = {Eugenio G. Omodeo and Alberto Policriti}, volume = {10}, series = {Outstanding Contributions to Logic}, publisher = {Springer}, isbn = {978-3-319-41842-1}, }