Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy. - Mol, Liesbeth De; Matiyasevich, Yuri V; Omodeo, Eugenio G; Policriti, Alberto; Sieg, Wilfried; Weyuker, Elaine J (Philosophia Mathematica, 2025)