1 paper · 1 filter
Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo +3
In his autobiographic essay written in 1999, ``From logic to computer science and back'', Martin David Davis (3/8/1928--1/1/2023) indicated that he viewed himself as a logician \em…