Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Eugenio G. Omodeo, Alberto Policriti (Springer, 2016)