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