TY  - BOOK
AU  - Eugenio G. Omodeo, Alberto Policriti
TI  - Martin Davis on Computability, Computational Logic, and Mathematical Foundations
SN  - 9783319418421
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-41842-1
ER  -