3 Jan
2023
3 Jan
'23
2:01 p.m.
Dear all, it is with great sadness that I wanted to inform you about the death of Martin Davis. Next to his basic contributions to computer science he was, above all, a great person -- humble, kind, honest and with integrity, with my best wishes, Liesbeth