@misc{indiciaefeccea98a554,
  title = {Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy},
  author = {Liesbeth De Mol and Yuri V. Matiyasevich and Eugenio G. Omodeo and Alberto Policriti and Wilfried Sieg and Elaine J. Weyuker},
  year = {2025},
  url = {https://arxiv.org/abs/2506.08588},
  note = {Source identifier: 2506.08588}
}