Title: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Subjects: Computational intelligence