Martin Davis on Computability, Computational Logic, and Mathematical Foundations | lit.salon