Martin Davis on Computability, Computational Logic, and Mathematical Foundations - Omodeo, Eugenio; Policriti, Alberto (Springer, 2016)
Keywords: Philosophy; Logic; Mathematical logic; Mathematical Logic and Foundations; Philosophie