De Mol, L., Matiyasevich, Y. V., Omodeo, E. G., Policriti, A., Sieg, W., & Weyuker, E. J. Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy. Philosophia mathematica, 33(3), 425-450. https://doi.org/10.1093/philmat/nkaf016
Chicago-Zitierstil (17. Ausg.)De Mol, Liesbeth, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, und Elaine J. Weyuker. "Martin Davis: An Overview of His Work in Logic, Computer Science, and Philosophy." Philosophia Mathematica 33, no. 3 (): 425-450. https://doi.org/10.1093/philmat/nkaf016.
MLA-Zitierstil (9. Ausg.)De Mol, Liesbeth, et al. "Martin Davis: An Overview of His Work in Logic, Computer Science, and Philosophy." Philosophia Mathematica, vol. 33, no. 3, , pp. 425-450, https://doi.org/10.1093/philmat/nkaf016.