Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy

https://doi.org/10.1093/philmat/nkaf016
Open external identifier URL

journal contribution

posted on 2025-11-21, 18:09 authored by Liesbeth De Mol, Yuri V Matiyasevich, Eugenio G Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J Weyuker

This journal contribution is published Open Access by the publisher. Follow the DOI link to retrieve a copy of the full text.<p></p>

History

Usage metrics

Categories

No categories selected

Keywords

Licence

Exports