My Life as a Logician

Martin Davis. My Life as a Logician. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 1-33, Springer, 2016. [doi]

Abstract

Abstract is missing.